Skip to content
Permalink
Browse files

double-quote comments changed to single-quote comments

  • Loading branch information...
torstenhahmann@gmail.com
torstenhahmann@gmail.com committed Aug 29, 2014
1 parent af61d8f commit ede79c3a8e1edc052a5207e32cb16f954e665e30
Showing with 234 additions and 229 deletions.
  1. +1 −1 ontologies/multidim_mereotopology_codi/C-E4.clif
  2. +1 −1 ontologies/multidim_mereotopology_codi/PLP-E2.clif
  3. +1 −1 ontologies/multidim_mereotopology_codi/PLP-E3.clif
  4. +1 −1 ontologies/multidim_mereotopology_codi/codi_basic_atomic.clif
  5. +7 −7 ontologies/multidim_mereotopology_codi/codi_down.clif
  6. +17 −17 ontologies/multidim_mereotopology_codi/codi_down_nodefs.clif
  7. +5 −5 ontologies/multidim_mereotopology_codi/codi_down_sum.clif
  8. +7 −7 ontologies/multidim_mereotopology_codi/codi_down_sum_prime.clif
  9. +4 −4 ontologies/multidim_mereotopology_codi/codi_int.clif
  10. +11 −11 ontologies/multidim_mereotopology_codi/codi_linear_nodefs.clif
  11. +5 −5 ontologies/multidim_mereotopology_codi/codi_pl.clif
  12. +2 −2 ontologies/multidim_mereotopology_codi/codi_pl_aff.clif
  13. +1 −1 ontologies/multidim_mereotopology_codi/codi_pl_lin.clif
  14. +1 −1 ontologies/multidim_mereotopology_codi/codi_pl_slin.clif
  15. +1 −1 ontologies/multidim_mereotopology_codi/codi_plp.clif
  16. +3 −3 ontologies/multidim_mereotopology_codi/codi_plp_g.clif
  17. +4 −4 ontologies/multidim_mereotopology_codi/codi_plp_slin.clif
  18. +1 −1 ontologies/multidim_mereotopology_codi/consistency/codi_plp_lin_nontrivial.clif
  19. +10 −10 ontologies/multidim_mereotopology_codi/ep_ext.clif
  20. +2 −2 ontologies/multidim_mereotopology_codi/theorems/codi_down_sum_commutative_theorems.clif
  21. +16 −16 ontologies/multidim_mereotopology_codi/theorems/codi_down_sum_theorems.clif
  22. +7 −7 ontologies/multidim_mereotopology_codi/theorems/codi_down_sum_theoremsT11-T14.clif
  23. +7 −7 ontologies/multidim_mereotopology_codi/theorems/codi_down_sum_theoremsT15-T19.clif
  24. +1 −1 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsEP-E1.clif
  25. +3 −3 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsEP-E2.clif
  26. +1 −1 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsEP-E3.clif
  27. +2 −2 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsPO-E1.clif
  28. +3 −3 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsT1-T2.clif
  29. +1 −1 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsT11.clif
  30. +1 −1 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsT11prime.clif
  31. +1 −1 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsT12.clif
  32. +5 −5 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsT3-T5.clif
  33. +8 −8 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsT6-T10.clif
  34. +1 −1 ontologies/multidim_mereotopology_codi/theorems/codi_down_theoremsZ-A1.clif
  35. +10 −10 ontologies/multidim_mereotopology_codi/theorems/codi_int_theorems.clif
  36. +3 −3 ontologies/multidim_mereotopology_codi/theorems/codi_pl_theorems.clif
  37. +3 −3 ontologies/multidim_mereotopology_codi/theorems/codi_plp_theorems.clif
  38. +10 −10 ontologies/multidim_mereotopology_codi/theorems/codi_theorems.clif
  39. +7 −7 ontologies/multidim_mereotopology_codi/theorems/con_theorems.clif
  40. +9 −9 ontologies/multidim_mereotopology_codi/theorems/ep_theorems.clif
  41. +5 −5 ontologies/multidim_mereotopology_codi/theorems/icon_theorems.clif
  42. +6 −6 ontologies/multidim_mereotopology_codi/theorems/inc_theorems.clif
  43. +6 −6 ontologies/multidim_mereotopology_codi/theorems/int_theorems.clif
  44. +3 −3 ontologies/multidim_mereotopology_codi/theorems/po_theorems.clif
  45. +7 −7 ontologies/multidim_mereotopology_codi/theorems/sc_theorems.clif
  46. +3 −3 ontologies/multidim_mereotopology_dim/dim_bounded.clif
  47. +1 −1 ontologies/multidim_mereotopology_dim/dim_linear.clif
  48. +1 −1 ontologies/multidim_mereotopology_dim/dim_prime_linear_bounded.clif
  49. +2 −2 ontologies/multidim_mereotopology_omt/omt_3d_lin.clif
  50. +1 −1 ontologies/multidim_mereotopology_omtb/omtb_down.clif
  51. +2 −2 ontologies/multidim_mereotopology_zex/nozex.clif
  52. +2 −2 ontologies/multidim_mereotopology_zex/zex.clif
  53. +7 −2 ontologies/multidim_space_codib/definitions/atomic_plane.clif
  54. +1 −1 ontologies/multidim_space_codib/definitions/curve_segment.clif
  55. +1 −1 ontologies/multidim_space_codib/definitions/simple_infinite_curve.clif
  56. +1 −1 ontologies/multidim_space_codib/definitions/simple_loop_curve.clif
  57. +1 −1 ontologies/multidim_space_codib/definitions/simple_ray_curve.clif
@@ -12,7 +12,7 @@

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

(cl-comment "C-E4")
(cl-comment 'C-E4')

(forall (x y)
(if
@@ -10,7 +10,7 @@

(cl-text http://colore.oor.net/multidim_mereotopology_codi/PLP-E2.clif

(cl-comment "PLP-E2: maximal three dimensions")
(cl-comment 'PLP-E2: maximal three dimensions')

(forall (x y p)
(if
@@ -10,7 +10,7 @@

(cl-text http://colore.oor.net/multidim_mereotopology_codi/PLP-E3.clif

(cl-comment "PLP-E3: Plane Dimension Axiom")
(cl-comment 'PLP-E3: Plane Dimension Axiom')

(exists (p q r s)
(and
@@ -16,7 +16,7 @@

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

(cl-comment "ME-E1: atomic")
(cl-comment 'ME-E1: atomic')

(forall (x)
(if
@@ -12,10 +12,10 @@

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

(cl-comment "Closure under differences")
(cl-comment 'Closure under differences')


(cl-comment "Dif-A1: difference is of same dimension")
(cl-comment 'Dif-A1: difference is of same dimension')

(forall (x y)
(if
@@ -24,7 +24,7 @@
)
)

(cl-comment "Dif-A2: difference with a entity of lower dimension")
(cl-comment 'Dif-A2: difference with a entity of lower dimension')

(forall (x y)
(if
@@ -34,7 +34,7 @@
)


(cl-comment "Dif-A3a: constitution of the difference with an entity of greater or equal dimension")
(cl-comment 'Dif-A3a: constitution of the difference with an entity of greater or equal dimension')

(forall (x y z)
(if
@@ -48,7 +48,7 @@
)


(cl-comment "Dif-A3b: constitution of the difference with an entity of greater or equal dimension")
(cl-comment 'Dif-A3b: constitution of the difference with an entity of greater or equal dimension')

(forall (x y z)
(if
@@ -61,7 +61,7 @@
)


(cl-comment "Dif-A3c: constitution of the difference with an entity of greater or equal dimension")
(cl-comment 'Dif-A3c: constitution of the difference with an entity of greater or equal dimension')

(forall (x y z)
(if
@@ -75,7 +75,7 @@



(cl-comment "Dif-A4: zero difference only for contained entities or for zero entity")
(cl-comment 'Dif-A4: zero difference only for contained entities or for zero entity')

(forall (x y)
(iff
@@ -16,7 +16,7 @@
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/po.clif)


(cl-comment "Int-A1: disconnected entities have empty intersection")
(cl-comment 'Int-A1: disconnected entities have empty intersection')

(forall (x y)
(if
@@ -26,7 +26,7 @@
)


(cl-comment "Int-A2: the intersection is contained in the intersecting entities (also ensures the intersection is of no greater dimension than necessary)")
(cl-comment 'Int-A2: the intersection is contained in the intersecting entities (also ensures the intersection is of no greater dimension than necessary)')

(forall (x y)
(if
@@ -37,7 +37,7 @@



(cl-comment "Int-A3: the intersection is of greatest possible dimension (determines the dimension of the intersection)")
(cl-comment 'Int-A3: the intersection is of greatest possible dimension (determines the dimension of the intersection)')

(forall (x y z)
(if
@@ -50,7 +50,7 @@
)


(cl-comment "Int-A4: the intersection contains everything of the greatest possible dimension (and whatever those things contain)")
(cl-comment 'Int-A4: the intersection contains everything of the greatest possible dimension (and whatever those things contain)')

(forall (x y z)
(iff
@@ -64,7 +64,7 @@
)


(cl-comment "Dif-A1: difference is of same dimension")
(cl-comment 'Dif-A1: difference is of same dimension')

(forall (x y)
(if
@@ -73,7 +73,7 @@
)
)

(cl-comment "Dif-A2: difference with a entity of lower dimension")
(cl-comment 'Dif-A2: difference with a entity of lower dimension')

(forall (x y)
(if
@@ -83,7 +83,7 @@
)


(cl-comment "Dif-A3a: constitution of the difference with an entity of greater or equal dimension")
(cl-comment 'Dif-A3a: constitution of the difference with an entity of greater or equal dimension')

(forall (x y z)
(if
@@ -97,7 +97,7 @@
)


(cl-comment "Dif-A3b: constitution of the difference with an entity of greater or equal dimension")
(cl-comment 'Dif-A3b: constitution of the difference with an entity of greater or equal dimension')

(forall (x y z)
(if
@@ -110,7 +110,7 @@
)


(cl-comment "Dif-A3c: constitution of the difference with an entity of greater or equal dimension")
(cl-comment 'Dif-A3c: constitution of the difference with an entity of greater or equal dimension')

(forall (x y z)
(if
@@ -124,7 +124,7 @@



(cl-comment "Dif-A4: zero difference only for contained entities or for zero entity")
(cl-comment 'Dif-A4: zero difference only for contained entities or for zero entity')

(forall (x y)
(iff
@@ -137,7 +137,7 @@
)


(cl-comment "EP-E1: weak supplementation - original")
(cl-comment 'EP-E1: weak supplementation - original')

(forall (x y)
(if
@@ -152,7 +152,7 @@
)


(cl-comment "EP-E2.II: strong supplementation")
(cl-comment 'EP-E2.II: strong supplementation')

(forall (x y)
(if
@@ -174,7 +174,7 @@
)


(cl-comment "EP-E2.III: strong supplementation")
(cl-comment 'EP-E2.III: strong supplementation')

(forall (x y)
(if
@@ -195,7 +195,7 @@
)


(cl-comment "EP-E2.IV: strong supplementation")
(cl-comment 'EP-E2.IV: strong supplementation')

(forall (x y)
(if
@@ -216,7 +216,7 @@



(cl-comment "PO-E1")
(cl-comment 'PO-E1')

(forall (x y)
(if
@@ -231,7 +231,7 @@
)


(cl-comment "I-D2 together with I-M6: mapping between PO and OV")
(cl-comment 'I-D2 together with I-M6: mapping between PO and OV')

(forall (x y)
(iff
@@ -243,7 +243,7 @@
)
)

(cl-comment "I-D4 together with I-M6: chunk (equidmensional part)")
(cl-comment 'I-D4 together with I-M6: chunk (equidmensional part)')

(forall (x y)
(iff
@@ -15,17 +15,17 @@
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/codi_down_theoremsPO-E1.clif)


(cl-comment "CODI with downwards closure and sums")
(cl-comment 'CODI with downwards closure and sums')


(cl-comment "Sum-A1: sum is commutative")
(cl-comment 'Sum-A1: sum is commutative')

(forall (x y)
(= (sum x y) (sum y x))
)


(cl-comment "Sum-A2: sum of entities of different dimensions")
(cl-comment 'Sum-A2: sum of entities of different dimensions')

(forall (x y)
(if
@@ -35,7 +35,7 @@
)


(cl-comment "Sum-A3: every part of y is a part of x+y if x<=y")
(cl-comment 'Sum-A3: every part of y is a part of x+y if x<=y')

(forall (x y z)
(if
@@ -48,7 +48,7 @@
)


(cl-comment "Sum-A4: everything contained in the sum has a part contained in x or contained in y")
(cl-comment 'Sum-A4: everything contained in the sum has a part contained in x or contained in y')

(forall (x y z)
(if
@@ -15,9 +15,9 @@
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/codi_down_theoremsPO-E1.clif)


(cl-comment "CODI with downwards closure and a ternary sum relation (not forcing the existence of sums)")
(cl-comment 'CODI with downwards closure and a ternary sum relation (not forcing the existence of sums)')

(cl-comment "Sum-A0prime")
(cl-comment 'Sum-A0prime')

(forall (x y z v)
(if
@@ -29,7 +29,7 @@
)
)

(cl-comment "Sum-A1prime: sum is commutative")
(cl-comment 'Sum-A1prime: sum is commutative')

(forall (x y z)
(if
@@ -39,7 +39,7 @@
)


(cl-comment "Sum-A2prime: sum of entities of different dimensions")
(cl-comment 'Sum-A2prime: sum of entities of different dimensions')

(forall (x y)
(if
@@ -49,7 +49,7 @@
)


(cl-comment "Sum-A3prime: every part of y is a part of z=x+y if x<=y")
(cl-comment 'Sum-A3prime: every part of y is a part of z=x+y if x<=y')

(forall (x y z v)
(if
@@ -63,7 +63,7 @@
)


(cl-comment "Sum-A4prime: everything contained in the sum has a part contained in x or contained in y")
(cl-comment 'Sum-A4prime: everything contained in the sum has a part contained in x or contained in y')

(forall (x y z v)
(if
@@ -77,7 +77,7 @@
)


(cl-comment "Sum-A5prime")
(cl-comment 'Sum-A5prime')

(forall (x y z)
(if
@@ -15,7 +15,7 @@
(cl-imports http://colore.oor.net/multidim_mereotopology_zex/zex.clif)


(cl-comment "Int-A1: disconnected entities have empty intersection")
(cl-comment 'Int-A1: disconnected entities have empty intersection')

(forall (x y)
(iff
@@ -25,7 +25,7 @@
)


(cl-comment "Int-A2: the intersection is contained in the intersecting entities (also ensures the intersection is of no greater dimension than necessary)")
(cl-comment 'Int-A2: the intersection is contained in the intersecting entities (also ensures the intersection is of no greater dimension than necessary)')

(forall (x y)
(if
@@ -36,7 +36,7 @@



(cl-comment "Int-A3: the intersection is of greatest possible dimension (determines the dimension of the intersection)")
(cl-comment 'Int-A3: the intersection is of greatest possible dimension (determines the dimension of the intersection)')

(forall (x y z)
(if
@@ -49,7 +49,7 @@
)


(cl-comment "Int-A4: the intersection contains everything of the greatest possible dimension (and whatever those things contain)")
(cl-comment 'Int-A4: the intersection contains everything of the greatest possible dimension (and whatever those things contain)')

(forall (x y z)
(iff
Oops, something went wrong.

0 comments on commit ede79c3

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