Skip to content
Permalink
Browse files

corrected requires.clif

  • Loading branch information...
gruninger committed Dec 20, 2018
1 parent 8111d0a commit 65564cb10c57d19980dade38934fcb899f68f11d
Showing with 5 additions and 4 deletions.
  1. +5 −4 ontologies/psl_resources/requires.clif
@@ -11,10 +11,11 @@

(cl-imports http://colore.oor.net/sophos/definitions/solid_physical_object.clif)

(forall (a r)
(if (requires r a)
(and (solid_physical_object r)
(activity a))))
(forall (a r o)
(if (and (requires r a)
(occurrence_of o a))
(exists (t)
(participates_in r o t))))

(forall (a a1 r s)
(if (and (requires a r)

0 comments on commit 65564cb

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