Skip to content
Permalink
Browse files

updated comments in containment hierarchy with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent c45e7c4 commit 2d6df1a6614d7fe5ae2226170b0913b523ba8beb
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/containment/containment_def.clif)

(cl-comment "If every object properly contained in x is properly contained in y, x is contained in y.")
(cl-comment 'If every object properly contained in x is properly contained in y, x is contained in y.')

(forall (x y)
(If (exists (z)
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/containment/containment_def.clif)

(cl-comment "no partial overlaps")
(cl-comment 'no partial overlaps')

(forall (x y)
(if (containmentOverlaps x y)
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/containment/containment_def.clif)

(cl-comment "Reflexivity")
(cl-comment 'Reflexivity')

(forall (x)
(containedIn x x)
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/containment/containment_def.clif)

(cl-comment "Transitivity")
(cl-comment 'Transitivity')

(forall (x y z)
(if (and (containedIn x y)
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/containment/containment_def.clif)

(cl-comment "Antisymmetry")
(cl-comment 'Antisymmetry')

(forall (x y)
(if (containedIn x y)
@@ -10,23 +10,23 @@
(region_part r1 r2)))))
)

(cl-comment "Proper Parthood (transitive, irreflexive and asymmetric)")
(cl-comment 'Proper Parthood (transitive, irreflexive and asymmetric)')
(forall (x y)
(iff (properContainedIn x y)
(and (containedIn x y)
(not (x=y))))

)

(cl-comment "Atom")
(cl-comment 'Atom')
(forall (x y)
(iff (AtomicComponent x)
(not (exists (y)
(properContainedIn y x))))

)

(cl-comment "Overlap")
(cl-comment 'Overlap')

(forall (x y)
(iff (containmentOverlaps x y)
@@ -2,7 +2,7 @@
(cl-imports http://colore.oor.net/piece/containment_def.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Extensionality: Two objects that are not in a containment relationship have at least some uncommon piece. There does not exist any two objects with no uncommon pieces, if the two pieces are all common (shared and identical), which means they share the same spatial area, the same shape, the same size, and the substance/material contained in them are exactly identical, then the two objects are hence identical and can be identified as the same object.")
(cl-text 'Extensionality: Two objects that are not in a containment relationship have at least some uncommon piece. There does not exist any two objects with no uncommon pieces, if the two pieces are all common (shared and identical), which means they share the same spatial area, the same shape, the same size, and the substance/material contained in them are exactly identical, then the two objects are hence identical and can be identified as the same object.')

(forall (x y w)
(if (and (properPieceOf w x)

0 comments on commit 2d6df1a

Please sign in to comment.
You can’t perform that action at this time.