Permalink
Browse files

Update containment_def.clif

  • Loading branch information...
yvonneru committed Aug 3, 2017
1 parent a049fc8 commit 3d628fb983712dd6c0a41898aae14190a66c5195
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/containment/containment_def.clif
@@ -7,7 +7,7 @@
(exists (r1 r2)
(and (occupies x r1)
(occupies y r2)
(region_part r1 r2))))
(region_part r1 r2)))))
)
(cl-comment "Proper Parthood (transitive, irreflexive and asymmetric)")

0 comments on commit 3d628fb

Please sign in to comment.