Skip to content
Permalink
Browse files

fixed uri in imports statement and non-unicode symbol

  • Loading branch information...
carmenchui committed May 20, 2019
1 parent 341d307 commit 3f18b9ebb2f4b51ec12947dca1cc612cc03277cd
Showing with 50 additions and 53 deletions.
  1. +50 −53 ontologies/multidim_mereotopology_omt/omt_down.clif
@@ -8,59 +8,56 @@
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/multidim_mereotopology_omt/omt_down.clif
(cl-imports http://colore.oor.net/http://colore.oor.net/between_quaternary/btw.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/codi_down.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/codi.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/connected.clif)
(cl-comment 'axioms relating incidence and betweenness')
(cl-comment 'OMT-A1')
(forall (r x y z)
(if
(Btw r x y z)
(and
(Con r)
(Cont x r)
(Cont y r)
(cl-text http://colore.oor.net/multidim_mereotopology_omt/omt_down.clif

(cl-imports http://colore.oor.net/between_quaternary/btw.clif)

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/codi_down.clif)

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/codi.clif)

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/connected.clif)

(cl-comment 'axioms relating incidence and betweenness')

(cl-comment 'OMT-A1')

(forall (r x y z)
(if
(Btw r x y z)
(and
(Con r)
(Cont x r)
(Cont y r)
(Cont z r)
(not (Cont x y))
(not (Cont z y))
)
)
)


(cl-comment 'OMT-A2')

(forall (r v x y z)
(if
(and
(Btw r x y z)
(Cont v r)
(Con v)
(C v x)
(C v z)
)
(C v y)
)
)


(cl-comment 'OMT-A3')

(forall (x)
(if
(Max x)
(Con x)
)
)


(not (Cont z y))
)
)
)

(cl-comment 'OMT-A2')

(forall (r v x y z)
(if
(and
(Btw r x y z)
(Cont v r)
(Con v)
(C v x)
(C v z)
)
(C v y)
)
)

(cl-comment 'OMT-A3')

(forall (x)
(if
(Max x)
(Con x)
)
)

)

0 comments on commit 3f18b9e

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