Skip to content
Permalink
Browse files

corrected imports with URLs in onto_stit theories

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent 79b2866 commit fe98c7142692ca242ba07bdc51074cbad51309b2
@@ -8,9 +8,9 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text action
(cl-text http://colore.oor.net/onto_stit/action.clif

(cl-imports interval)
(cl-imports http://colore.oor.net/onto_stit/interval.clif)

(forall (x)
(if (action x)
@@ -8,10 +8,10 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text agency
(cl-text http://colore.oor.net/onto_stit/agency.clif

(cl-imports action)
(cl-imports outcome)
(cl-imports http://colore.oor.net/onto_stit/action.clif)
(cl-imports http://colore.oor.net/onto_stit/outcome.clif)

(forall (x y)
(if (ago x y)
@@ -8,9 +8,9 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text history
(cl-text http://colore.oor.net/onto_stit/history.clif

(cl-imports moment)
(cl-imports http://colore.oor.net/onto_stit/moment.clif)

(forall (x y)
(if (in x y)
@@ -8,9 +8,9 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text interval
(cl-text http://colore.oor.net/onto_stit/interval.clif

(cl-imports history)
(cl-imports http://colore.oor.net/onto_stit/history.clif)

(forall (x y)
(if (ini x y)
@@ -8,7 +8,7 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text moment
(cl-text http://colore.oor.net/onto_stit/moment.clif

(forall (x y)
(if (pre x y)
@@ -8,9 +8,9 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text outcome
(cl-text http://colore.oor.net/onto_stit/outcome.clif

(cl-imports history)
(cl-imports http://colore.oor.net/onto_stit/history.clif)

(exists (x)
(ag x))

0 comments on commit fe98c71

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