Skip to content
Permalink
Browse files

added closing bracket to bounds.clif

  • Loading branch information...
carmenchui committed Jun 14, 2018
1 parent d49d717 commit 0c90f66818626987a6e6664ff1fddc97a5bbc568
Showing with 12 additions and 3 deletions.
  1. +2 −0 ontologies/bounds/bounds.clif
  2. +10 −3 ontologies/space/bounds.clif
@@ -12,3 +12,5 @@
(if (bounds x y)
(and (ShapeFeature x)
(ShapedObject y))))

)
@@ -1,8 +1,15 @@
(cl-text http://colore.oor.net/space/bounds.clif

(cl-comment 'axioms TBA')

(forall (x)
(bounds x)
)
(iff (ShapedObject x)
(exists (y)
(and (ShapeFeature y)
(bounds y x)))))

(forall (x y)
(if (bounds x y)
(and (ShapeFeature x)
(ShapedObject y))))

)

0 comments on commit 0c90f66

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