Permalink
Browse files

Update matter.clif

  • Loading branch information...
yvonneru committed Oct 23, 2017
1 parent cf3deb8 commit 22aaa48d57c76d133f2104ca11d46dd7df846910
Showing with 4 additions and 1 deletion.
  1. +4 −1 ontologies/matter/matter.clif
@@ -19,7 +19,10 @@
(cl-comment "Overlaps")
(forall (x y)
(iff (chunkOf x y)
(if (exists (z)
(and
(chunkOf z x)
(chunkOf z y))
(chunkOverlaps x y)))

0 comments on commit 22aaa48

Please sign in to comment.