Permalink
Browse files

update event_calculus modules with URIs

  • Loading branch information...
bahar.ameri@gmail.com
bahar.ameri@gmail.com committed May 17, 2013
1 parent c4d9a6f commit ee1a9bca4d9afc699a57e4886dbfc8fd7a723810
Showing with 2 additions and 2 deletions.
  1. +1 −1 ontologies/event_calculus/discrete_ec.clif
  2. +1 −1 ontologies/event_calculus/ec.clif
@@ -8,7 +8,7 @@
* Michael Gruninger - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/event_calculus/discrete_ec
(cl-text http://colore.oor.net/event_calculus/discrete_ec.clif
(forall (t1 f t2)
(iff
@@ -8,7 +8,7 @@
* Michael Gruninger - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/event_calculus/ec
(cl-text http://colore.oor.net/event_calculus/ec.clif
(forall (t1 f t2)
(iff (Clipped t1 f t2)

0 comments on commit ee1a9bc

Please sign in to comment.