Skip to content
Permalink
Browse files

Create material_object.clif

  • Loading branch information...
yvonneru committed Jun 14, 2018
1 parent d955b56 commit a8b35fa602d8c61c46de21189a4c679297d4f9c5
Showing with 34 additions and 0 deletions.
  1. +34 −0 ontologies/material_object/material_object.clif
@@ -0,0 +1,34 @@
(cl-text http://colore.oor.net/material_object/material_object.clif

(forall (x)
(if (Mat x)
(not (MaterialObject x))))

(forall (x y)
(if (chunkOf x y)
(and (Mat x)
(Mat y))))

(forall (x)
(iff MaterialObject(x)
(exists (y)
(and (Mat x)
(constitutes y x)))))

(forall (x y)
(if (constitutes x y)
(and (Mat x)
(MaterialObject y))))

(forall (x y z)
(if (and (constitutes x y)
(constitutes x z))
(y = z))))

(forall (x y z)
(if (and (constitutes x y)
(constitutes z y))
(x = z)))


)

0 comments on commit a8b35fa

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.