1. 28 Nov, 2016 1 commit
  2. 08 Nov, 2016 1 commit
    • María's avatar
      Disjoints · 19ef78a7
      María authored
      Added disjoints
      
      hasFrequencyMeasurment renamed
      
      diagrams updated and examples updated
      19ef78a7
  3. 25 Oct, 2016 1 commit
    • María's avatar
      comments in envi · e6db4eba
      María authored
      Added comments for op, dp and individuals.
      
      Added isDefinedBy for reused entities
      e6db4eba
  4. 24 Oct, 2016 1 commit
  5. 22 Oct, 2016 2 commits
  6. 21 Oct, 2016 3 commits
    • María's avatar
      prefix y PO axiom · 02ddcf39
      María authored
      change prefix to s4envi
      change axiom in PhysicalObject about contains
      02ddcf39
    • María's avatar
      add isContainedIn · 398d4809
      María authored
      and the axiom in Device
      398d4809
    • María's avatar
      Axioms in bldg · e614aea8
      María authored
      first version of the bldg with axioms in classes.
      
      real ranges and complex numbers should be refined.
      e614aea8
  7. 20 Oct, 2016 11 commits
  8. 19 Oct, 2016 6 commits
  9. 18 Oct, 2016 1 commit