Browse files

fixed error in em_bundle

  • Loading branch information...
michael.gruninger committed Jul 25, 2013
1 parent 21ed560 commit 2d91325b09e0c3233a2079ac88b40dc41891e98c
Showing with 1 addition and 0 deletions.
  1. +1 −0 ontologies/mereological_bundle/em_bundle.clif
@@ -8,6 +8,7 @@
(forall (x y p)
(if (and (line x)
(line y)
(point p)
(in x p)
(in y p)
(not (tpart x y p)))

0 comments on commit 2d91325

Please sign in to comment.