Permalink
Browse files

Update and rename ontologies/piece/piece_extensionality.clif to ontol…

…ogies/containment_bridge/containment_piece_extensionality.clif
  • Loading branch information...
yvonneru committed Mar 31, 2017
1 parent 21ee523 commit c3ac5c84a4a085a8e25ed1f6124e5a9b131445f4
@@ -0,0 +1,16 @@
(cl-text http://colore.oor.net/containment_bridge/containment_piece_extensionality.clif)
(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.")
(forall (x y w)
(if (and (properPieceOf w x)
(not (x=y))
(not (and (containedIn x y)
(containedIn y x)))
(exists (z)
(iff (properPieceOf z x)
(not (properPieceOf z y)))))
)

This file was deleted.

Oops, something went wrong.

0 comments on commit c3ac5c8

Please sign in to comment.