Skip to content
Permalink
Browse files

Update biospatial.clif

  • Loading branch information...
carmenchui committed May 29, 2019
1 parent 59ac63a commit c975c6cf602c576aad010a2734dd42d1f53b1fc7
Showing with 3 additions and 3 deletions.
  1. +3 −3 ontologies/biospatial/biospatial.clif
@@ -66,7 +66,7 @@
(and (Parts x y1 y2 y3)
(forall (z)
(if (Part z x)
(= z y1)(= z y2)(= z y3))))))
(or (= z y1)(= z y2)(= z y3)))))))

(cl-comment 'Axiom ID: D4')
(cl-comment 'check with Michael---')
@@ -76,8 +76,8 @@
(and (Assembly r)(FCon r)
(forall (x)
(if (Part x r)
(not (exists y1 y2)
(and (Part y1 r)(Part y2 r)(Linked x y1)(Linked x y2)))))
(not (exists (y1 y2)
(and (Part y1 r)(Part y2 r)(Linked x y1)(Linked x y2))))))
(forall (x)
(if (Part x r)
(Con (- (sp r)(sp x))))))))

0 comments on commit c975c6c

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