Skip to content
Permalink
Browse files

corrected typos in multidim_occupy (affects translation into LADR/TPTP)

  • Loading branch information...
carmenchui committed Jun 24, 2018
1 parent 5708e85 commit 9e198ff76815a60a799655537b1b740533d4aedf
@@ -1,6 +1,7 @@
(cl-text http://colore.oor.net/multidim_occupy/box_occupy.clif

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

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


@@ -13,19 +14,17 @@
(if (and (box_occupies x y)
(box_occupies x z))
(= y z)))



(forall (x)
(if (box x)
(exists (y) (box_occupies x y)))).
(exists (y) (box_occupies x y))))

(forall (x y r1 r2)
(if (and (box_part x y)
(box_occupies x r1)
(box_occupies y r2))
(P r1 r2)))


(forall (x y r1 r2)
(if (and (box_C x y)
(box_occupies x r1)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/multidim_occupy/edge_occupy.clif

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

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

(forall (x y)
(if (edge_occupies x y)
@@ -13,13 +13,11 @@
(if (and (edge_occupies x y)
(edge_occupies x z))
(= y z)))



(forall (x)
(if (edge x)
(exists (y) (edge_occupies x y))))


(forall (x y r1 r2)
(if (and (edge_C x y)
(edge_occupies x r1)
@@ -1,14 +1,16 @@
(cl-text http://colore.oor.net/multidim_occupy/multidim_occupy_root.clif

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

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

(cl-imports http://colore.oor.net/multidim_occupy/point_occupy.clif)
(cl-imports http://colore.oor.net/multidim_occupy/edge_occupy.clif)
(cl-imports http://colore.oor.net/multidim_occupy/surface_occupy.clif)
(cl-imports http://colore.oor.net/multidim_occupy/box_occupy.clif)

(cl-imports http://colore.oor.net/multidim_occupy/edge_occupy.clif)

(cl-imports http://colore.oor.net/multidim_occupy/surface_occupy.clif)

(cl-imports http://colore.oor.net/multidim_occupy/box_occupy.clif)

(forall (x y r1 r2)
(if (and (incident x y)
@@ -23,7 +25,6 @@
(surface_occupies y r2))
(Cont r1 r2)))


(forall (x y r1 r2)
(if (and (incident x y)
(or (point_occupies x r1)
@@ -17,9 +17,7 @@

(forall (x)
(if (box x)
(exists (y) (point_occupies x y)))).


(exists (y) (point_occupies x y))))

(forall (x y r1 r2)
(if (and (point_C x y)

0 comments on commit 9e198ff

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