Permalink
Browse files

Update magma, mapsee, mereological_bundle, and mereological_foliation…

… with URIs
  • Loading branch information...
bahar.ameri@gmail.com
bahar.ameri@gmail.com committed May 18, 2013
1 parent c658e87 commit 195db9c66b8275c40e5cb89008a532da7a406a8e
Showing with 63 additions and 63 deletions.
  1. +2 −2 ontologies/magma/abelian_group.clif
  2. +2 −2 ontologies/magma/group.clif
  3. +3 −3 ontologies/magma/inverse_monoid.clif
  4. +2 −2 ontologies/magma/inverse_semigroup.clif
  5. +2 −2 ontologies/magma/loop.clif
  6. +2 −2 ontologies/magma/monoid.clif
  7. +1 −1 ontologies/magma/quasigroup.clif
  8. +1 −1 ontologies/magma/semigroup.clif
  9. +1 −1 ontologies/mapsee/mapsee.clif
  10. +3 −3 ontologies/mereological_bundle/cem_bundle.clif
  11. +3 −3 ontologies/mereological_bundle/cm_bundle.clif
  12. +3 −3 ontologies/mereological_bundle/em_bundle.clif
  13. +2 −2 ontologies/mereological_bundle/m_bundle.clif
  14. +2 −2 ontologies/mereological_bundle/mereological_bundle_def.clif
  15. +3 −3 ontologies/mereological_bundle/mm_bundle.clif
  16. +3 −3 ontologies/mereological_bundle/prod_bundle.clif
  17. +3 −3 ontologies/mereological_bundle/sum_bundle.clif
  18. +4 −4 ontologies/mereological_foliation/cem_downward_cem_foliation.clif
  19. +3 −3 ontologies/mereological_foliation/cem_downward_m_foliation.clif
  20. +3 −3 ontologies/mereological_foliation/cem_foliation.clif
  21. +2 −2 ontologies/mereological_foliation/downward_m_foliation.clif
  22. +2 −2 ontologies/mereological_foliation/hereditary_m_foliation.clif
  23. +3 −3 ontologies/mereological_foliation/ideal_cem_downward_cem_foliation.clif
  24. +3 −3 ontologies/mereological_foliation/ideal_cem_downward_m_foliation.clif
  25. +3 −3 ontologies/mereological_foliation/m_foliation_root.clif
  26. +2 −2 ontologies/mereological_foliation/upward_m_foliation.clif
@@ -1,6 +1,6 @@
(cl-text abelian_group
(cl-text http://colore.oor.net/magma/abelian_group.clif
(cl-imports group)
(cl-imports http://colore.oor.net/magma/group.clif)
(forall (x y)
(= (op x y) (op y x)))
@@ -1,6 +1,6 @@
(cl-text group
(cl-text http://colore.oor.net/magma/group.clif
(cl-imports inverse_monoid)
(cl-imports http://colore.oor.net/magma/inverse_monoid.clif)
(forall (x)
(exists (y)
@@ -1,7 +1,7 @@
(cl-text inverse_monoid
(cl-text http://colore.oor.net/magma/inverse_monoid.clif
(cl-imports inverse_semigroup)
(cl-imports http://colore.oor.net/magma/inverse_semigroup.clif)
(cl-imports monoid)
(cl-imports http://colore.oor.net/magma/monoid.clif)
)
@@ -1,7 +1,7 @@
(cl-text inverse_semigroup
(cl-text http://colore.oor.net/magma/inverse_semigroup.clif
(cl-imports semigroup)
(cl-imports http://colore.oor.net/magma/semigroup.clif)
(forall (x)
(exists (y)
@@ -1,6 +1,6 @@
(cl-text loop
(cl-text http://colore.oor.net/magma/loop.clif
(cl-imports quasigroup)
(cl-imports http://colore.oor.net/magma/quasigroup.clif)
(exists (e)
(forall (x)
@@ -1,6 +1,6 @@
(cl-text monoid
(cl-text http://colore.oor.net/magma/monoid.clif
(cl-imports semigroup)
(cl-imports http://colore.oor.net/magma/semigroup.clif)
(exists (e)
(forall (x)
@@ -1,4 +1,4 @@
(cl-text quasigroup
(cl-text http://colore.oor.net/magma/quasigroup.clif
(forall (x y)
(exists (w z)
@@ -1,4 +1,4 @@
(cl-text semigroup
(cl-text http://colore.oor.net/magma/semigroup.clif
(forall (x y z)
(= (op x (op y z)) (op (op x y) z)))
@@ -8,7 +8,7 @@
* Michael Gruninger - initial implementation
*******************************************************************************/
(cl-text mapsee
(cl-text http://colore.oor.net/mapsee/mapsee.clif
(forall (x)
(iff (image_object x)
@@ -1,8 +1,8 @@
(cl-text cem_bundle
(cl-text http://colore.oor.net/mereological_bundle/cem_bundle.clif
(cl-imports em_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/em_bundle.clif)
(cl-imports cm_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/cm_bundle.clif)
)
@@ -1,8 +1,8 @@
(cl-text cm_bundle
(cl-text http://colore.oor.net/mereological_bundle/cm_bundle.clif
(cl-imports sum_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/sum_bundle.clif)
(cl-imports prod_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/prod_bundle.clif)
)
@@ -1,9 +1,9 @@
(cl-text em_bundle
(cl-text http://colore.oor.net/mereological_bundle/em_bundle.clif
(cl-imports m_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/m_bundle.clif)
(cl-imports mereological_bundle_def)
(cl-imports http://colore.oor.net/mereological_bundle/mereological_bundle_def.clif)
(forall (x y p)
(if (and (line x)
@@ -1,7 +1,7 @@
(cl-text m_bundle
(cl-text http://colore.oor.net/mereological_bundle/m_bundle.clif
(cl-imports ../bipartite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite.clif)
(forall (x y p)
(if (tpart x y p)
@@ -1,6 +1,6 @@
(cl-text mereological_bundle_def
(cl-text http://colore.oor.net/mereological_bundle/mereological_bundle_def.clif
(cl-imports m_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/m_bundle.clif)
(forall (x y p)
(iff (tppart x y p)
@@ -1,9 +1,9 @@
(cl-text mm_bundle
(cl-text http://colore.oor.net/mereological_bundle/mm_bundle.clif
(cl-imports m_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/m_bundle.clif)
(cl-imports mereological_bundle_def)
(cl-imports http://colore.oor.net/mereological_bundle/mereological_bundle_def.clif)
(forall (x y p)
(if (tppart x y p)
@@ -1,9 +1,9 @@
(cl-text prod_bundle
(cl-text http://colore.oor.net/mereological_bundle/prod_bundle.clif
(cl-imports m_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/m_bundle.clif)
(cl-imports mereological_bundle_def)
(cl-imports http://colore.oor.net/mereological_bundle/mereological_bundle_def.clif)
(forall (x y p)
(if (toverlaps x y p)
@@ -1,9 +1,9 @@
(cl-text sum_bundle
(cl-text http://colore.oor.net/mereological_bundle/sum_bundle.clif
(cl-imports m_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/m_bundle.clif)
(cl-imports mereological_bundle_def)
(cl-imports http://colore.oor.net/mereological_bundle/mereological_bundle_def.clif)
(forall (x y p)
(if (tunderlaps x y p)
@@ -1,10 +1,10 @@
(cl-text cem_downward_cem_foliation
(cl-text http://colore.oor.net/mereological_foliation/cem_downward_cem_foliation.clif
(cl-imports cem_foliation)
(cl-imports http://colore.oor.net/mereological_foliation/cem_foliation.clif)
(cl-imports downward_m_foliation)
(cl-imports http://colore.oor.net/mereological_foliation/downward_m_foliation.clif)
(cl-imports ../mereological_geometry/cem_wmg)
(cl-imports http://colore.oor.net/mereological_geometry/cem_wmg.clif)
)
@@ -1,8 +1,8 @@
(cl-text cem_downward_m_foliation
(cl-text http://colore.oor.net/mereological_foliation/cem_downward_m_foliation.clif
(cl-imports downward_m_foliation)
(cl-imports http://colore.oor.net/mereological_foliation/downward_m_foliation.clif)
(cl-imports ../mereological_geometry/cem_wmg)
(cl-imports http://colore.oor.net/mereological_geometry/cem_wmg.clif)
)
@@ -1,8 +1,8 @@
(cl-text cem_foliation
(cl-text http://colore.oor.net/mereological_foliation/cem_foliation.clif
(cl-imports ../mereological_geometry/wmg)
(cl-imports http://colore.oor.net/mereological_geometry/wmg.clif)
(cl-imports ../mereological_bundle/cem_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/cem_bundle.clif)
)
@@ -1,7 +1,7 @@
(cl-text downward_m_foliation
(cl-text http://colore.oor.net/mereological_foliation/downward_m_foliation.clif
(cl-imports m_foliation_root)
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation_root.clif)
(forall (x y p1 p2)
(if (and (tpart x y p1)
@@ -1,7 +1,7 @@
(cl-text hereditary_m_foliation
(cl-text http://colore.oor.net/mereological_foliation/hereditary_m_foliation.clif
(cl-imports m_foliation_root)
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation_root.clif)
(forall (x y p1 p2)
(if (part p2 p1)
@@ -1,7 +1,7 @@
(cl-text ideal_cem_downward_cem_foliation
(cl-text http://colore.oor.net/mereological_foliation/ideal_cem_downward_cem_foliation.clif
(cl-imports cem_downward_cem_foliation)
(cl-imports http://colore.oor.net/mereological_foliation/cem_downward_cem_foliation.clif)
(cl-imports ../mereological_geometry/ideal_cem_wmg)
(cl-imports http://colore.oor.net/mereological_geometry/ideal_cem_wmg.clif)
)
@@ -1,7 +1,7 @@
(cl-text ideal_cem_downward_m_foliation
(cl-text http://colore.oor.net/mereological_foliation/ideal_cem_downward_m_foliation.clif
(cl-imports downward_m_foliation)
(cl-imports http://colore.oor.net/mereological_foliation/downward_m_foliation.clif)
(cl-imports ../mereological_geometry/ideal_cem_wmg)
(cl-imports http://colore.oor.net/mereological_geometry/ideal_cem_wmg.clif)
)
@@ -1,8 +1,8 @@
(cl-text m_foliation_root
(cl-text http://colore.oor.net/mereological_foliation/m_foliation_root.clif
(cl-imports ../mereological_geometry/wmg)
(cl-imports http://colore.oor.net/mereological_geometry/wmg.clif)
(cl-imports ../mereological_bundle/m_bundle)
(cl-imports http://colore.oor.net/mereological_bundle/m_bundle.clif)
)
@@ -1,7 +1,7 @@
(cl-text upward_m_foliation
(cl-text http://colore.oor.net/mereological_foliation/upward_m_foliation.clif
(cl-imports m_foliation_root)
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation_root.clif)
(forall (x y p1 p2)
(if (and (tpart x y p2)

0 comments on commit 195db9c

Please sign in to comment.