Skip to content
Permalink
Browse files

added placeholder file for shapefeature

  • Loading branch information...
carmenchui committed Jun 14, 2018
1 parent 0c90f66 commit 2926633779ff1d1ef8bfda06775486e1c9dd780c
Showing with 10 additions and 0 deletions.
  1. +10 −0 ontologies/shapefeature/shapefeature.clif
@@ -0,0 +1,10 @@
(cl-text http://colore.oor.net/shapefeature/shapefeature.clif

(cl-comment 'placeholder axiom for now')
(forall (x)
(iff (ShapedObject x)
(exists (y)
(and (ShapeFeature y)
(bounds y x)))))

)

0 comments on commit 2926633

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