Skip to content
Permalink
Browse files

modified FOUnt theories

  • Loading branch information...
gruninger committed Jun 15, 2018
1 parent ecf76a5 commit 0e90274a8147818ff8c36f79420e104e22c6037d
Showing with 15 additions and 9 deletions.
  1. +5 −3 ontologies/size/area.clif
  2. +5 −3 ontologies/size/length.clif
  3. +5 −3 ontologies/size/volume.clif
@@ -3,6 +3,8 @@

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

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

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

(cl-imports http://colore.oor.net/size/spatial_area.clif)
@@ -16,7 +18,7 @@
(lesser zero_area (area x))))

(forall (x y)
(if (ppart x y)
(if (PP x y)
(lesser (area x) (area y))))

(forall (x y z)
@@ -27,9 +29,9 @@
(= (area x) (add (area y) (area z)))))

(forall (x y)
(if (ppart y x)
(if (PP y x)
(exists (z)
(and (ppart z x)
(and (PP z x)
(not (= y z))
(= (area y) (area z))))))

@@ -3,6 +3,8 @@

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

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

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

(cl-imports http://colore.oor.net/size/spatial_length.clif)
@@ -16,7 +18,7 @@
(lesser zero_length (length x))))

(forall (x y)
(if (ppart x y)
(if (PP x y)
(lesser (length x) (length y))))

(forall (x y z)
@@ -27,9 +29,9 @@
(= (length x) (add (length y) (length z)))))

(forall (x y)
(if (ppart y x)
(if (PP y x)
(exists (z)
(and (ppart z x)
(and (PP z x)
(not (= y z))
(= (length y) (length z))))))

@@ -3,6 +3,8 @@

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

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

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

(cl-imports http://colore.oor.net/size/spatial_volume.clif)
@@ -16,7 +18,7 @@
(lesser zero_volume (volume x))))

(forall (x y)
(if (ppart x y)
(if (PP x y)
(lesser (volume x) (volume y))))

(forall (x y z)
@@ -27,9 +29,9 @@
(= (volume x) (add (volume y) (volume z)))))

(forall (x y)
(if (ppart y x)
(if (PP y x)
(exists (z)
(and (ppart z x)
(and (PP z x)
(not (= y z))
(= (volume y) (volume z))))))

0 comments on commit 0e90274

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