Permalink
Browse files

added Gangemi participation ontology

  • Loading branch information...
michael.gruninger
michael.gruninger committed May 30, 2014
1 parent 5d67864 commit 019a4efe8b983645e5cae90fd0c2ac4010419842
Showing with 32 additions and 0 deletions.
  1. +32 −0 ontologies/gangemi-participation/gangemi.clif
@@ -0,0 +1,32 @@
(cl-text http://colore.oor.net/gangemi-participation/gangemi.clif
(forall (x)
(if (Event x)
(exists (y)
(and (Object x)
(hasParticipant x y)))))
(forall (x)
(if (Object x)
(exists (y)
(and (Event x)
(hasParticipant y x)))))
(forall (x)
(if (Event x)
(exists (y)
(pre x y))))
(forall (x)
(if (Object x)
(exists (y)
(pre x y))))
(forall (x y)
(if (pre x y)
(and (or (Object x)
(Event x))
(Time y))))
)

0 comments on commit 019a4ef

Please sign in to comment.