Skip to content
Permalink
Browse files

updated comments in inch with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 2d6df1a commit 799630186dcc43541e95c7f65352ccb94da13d83
Showing with 135 additions and 135 deletions.
  1. +2 −2 ontologies/inch/consistency/inch_calculus_notC-A5.clif
  2. +1 −1 ontologies/inch/consistency/inch_original_notI-PA7.clif
  3. +5 −5 ontologies/inch/definitions/dim_prime_defs.clif
  4. +1 −1 ontologies/inch/definitions/inch_I-PA3.clif
  5. +1 −1 ontologies/inch/definitions/inch_ch.clif
  6. +1 −1 ontologies/inch/definitions/inch_co.clif
  7. +1 −1 ontologies/inch/definitions/inch_cs.clif
  8. +1 −1 ontologies/inch/definitions/inch_ed.clif
  9. +1 −1 ontologies/inch/definitions/inch_gd.clif
  10. +1 −1 ontologies/inch/definitions/inch_ged.clif
  11. +1 −1 ontologies/inch/definitions/inch_ov.clif
  12. +1 −1 ontologies/inch/definitions/inch_zex.clif
  13. +2 −2 ontologies/inch/inch_calculus.clif
  14. +3 −3 ontologies/inch/inch_calculus_extended.clif
  15. +1 −1 ontologies/inch/inch_calculus_extended_full.clif
  16. +4 −4 ontologies/inch/inch_original.clif
  17. +20 −20 ontologies/inch/inch_original_alldefs.clif
  18. +10 −10 ontologies/inch/inch_weak.clif
  19. +2 −2 ontologies/inch/inch_weak_I-E1.clif
  20. +3 −3 ontologies/inch/inch_weak_closed.clif
  21. +1 −1 ontologies/inch/interprets/codi2inch/codi_down_C-E4_I-M10.clif
  22. +1 −1 ontologies/inch/interprets/codi2inch/codi_down_C-E4_I-M7.clif
  23. +1 −1 ontologies/inch/interprets/codi2inch/codi_down_C-E4_I-M8.clif
  24. +1 −1 ontologies/inch/interprets/codi2inch/codi_down_C-E4_I-M9.clif
  25. +1 −1 ontologies/inch/interprets/codi2inch/codi_down_C-E4_I-PA9.clif
  26. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-E1.clif
  27. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-M3.clif
  28. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-M4.clif
  29. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-M5.clif
  30. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-M6.clif
  31. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-PA4.clif
  32. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_C-E4_I-PA5.clif
  33. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_I-M2.clif
  34. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_I-M3.clif
  35. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_I-PA3.clif
  36. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_I-PA6.clif
  37. +1 −1 ontologies/inch/interprets/codi2inch/codi_linear_I-PA7.clif
  38. +1 −1 ontologies/inch/interprets/inch2codi/inch_CD-A1.clif
  39. +7 −7 ontologies/inch/interprets/inch2codi/inch_cont_basic.clif
  40. +5 −5 ontologies/inch/interprets/inch2codi/inch_dim_linear.clif
  41. +2 −2 ontologies/inch/interprets/inch2codi/inch_original_Dif-A3.clif
  42. +2 −2 ontologies/inch/interprets/inch2codi/inch_weak_I-E1_D-A6.clif
  43. +1 −1 ontologies/inch/interprets/inch2codi/inch_weak_Z-A1.clif
  44. +1 −1 ontologies/inch/interprets/inch2codi/inch_weak_closed_Z-A1.clif
  45. +1 −1 ontologies/inch/mappings/codi2inch.clif
  46. +3 −3 ontologies/inch/mappings/inch2codi.clif
  47. +1 −1 ontologies/inch/mappings/inch_I-M2.clif
  48. +1 −1 ontologies/inch/mappings/inch_I-M3.clif
  49. +2 −2 ontologies/inch/mappings/inch_I-M6.clif
  50. +1 −1 ontologies/inch/mappings/inch_I-M7.clif
  51. +1 −1 ontologies/inch/mappings/inch_I-M8.clif
  52. +1 −1 ontologies/inch/theorems/inch_calculus_intersection.clif
  53. +3 −3 ontologies/inch/theorems/inch_calculus_theorems.clif
  54. +23 −23 ontologies/inch/theorems/inch_original_theorems.clif
@@ -14,7 +14,7 @@

(cl-imports http://colore.oor.net/inch/mappings/inch2codi.clif)

(cl-comment "C-D: definition of contact in terms of containment")
(cl-comment 'C-D: definition of contact in terms of containment')

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


(cl-comment "NOT A THEOREM: negation of C-A5 is consistent")
(cl-comment 'NOT A THEOREM: negation of C-A5 is consistent')

(exists (x y)
(and
@@ -12,7 +12,7 @@

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

(cl-comment "NOT A THEOREM: I-PA7*: INCH(x,y) requires a chunk of x to overlap with y")
(cl-comment 'NOT A THEOREM: I-PA7*: INCH(x,y) requires a chunk of x to overlap with y')

(exists (x y)
(and
@@ -10,9 +10,9 @@

(cl-text http://colore.oor.net/inch/definitions/dim_prime_defs.clif

(cl-comment "compact axioms for linear relative dimension")
(cl-comment 'compact axioms for linear relative dimension')

(cl-comment "D-D2: define EqDim in terms of <")
(cl-comment 'D-D2: define EqDim in terms of <')

(forall (x y)
(iff
@@ -24,14 +24,14 @@
)


(cl-comment "D-D3: <=")
(cl-comment 'D-D3: <=')

(forall (x y)
(iff (<= x y) (or (< x y) (EqDim x y)))
)


(cl-comment "D-D4: Maximal dimension (Codim=0)")
(cl-comment 'D-D4: Maximal dimension (Codim=0)')
(forall (x)
(iff (MaxDim x)
(forall (y)
@@ -41,7 +41,7 @@
)


(cl-comment "D-D5: Minimal dimension (Dim=0)")
(cl-comment 'D-D5: Minimal dimension (Dim=0)')
(forall (x)
(iff (MinDim x)
(and
@@ -10,7 +10,7 @@

(cl-text http://colore.oor.net/inch/definitions/inch_I-PA3.clif

(cl-comment "I-PA3: reflexivity of INCH")
(cl-comment 'I-PA3: reflexivity of INCH')

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

(cl-imports http://colore.oor.net/inch/definitions/inch_ov.clif)

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

(forall (x y)
(iff
@@ -13,7 +13,7 @@
(cl-imports http://colore.oor.net/inch/definitions/inch_cs.clif)
(cl-imports http://colore.oor.net/inch/definitions/inch_zex.clif)

(cl-comment "I-D3: contact (C)")
(cl-comment 'I-D3: contact (C)')

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

(cl-text http://colore.oor.net/inch/definitions/inch_cs.clif

(cl-comment "I-D1: constituent (Cont)")
(cl-comment 'I-D1: constituent (Cont)')

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

(cl-imports http://colore.oor.net/inch/definitions/inch_ged.clif)

(cl-comment "I-D8: equal dimension")
(cl-comment 'I-D8: equal dimension')

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

(cl-imports http://colore.oor.net/inch/definitions/inch_ged.clif)

(cl-comment "I-D9: greater dimension")
(cl-comment 'I-D9: greater dimension')

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

(cl-imports http://colore.oor.net/inch/definitions/inch_zex.clif)

(cl-comment "I-D7: greater or equal dimension")
(cl-comment 'I-D7: greater or equal dimension')

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

(cl-text http://colore.oor.net/inch/definitions/inch_gd.clif

(cl-comment "I-D2: overlap (PO)")
(cl-comment 'I-D2: overlap (PO)')

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

(cl-text http://colore.oor.net/inch/definitions/inch_zex.clif

(cl-comment "I-D6: zero region")
(cl-comment 'I-D6: zero region')

(forall (x y)
(iff
@@ -12,9 +12,9 @@

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

(cl-comment "corrected INCH Calculus with only the essential definitions")
(cl-comment 'corrected INCH Calculus with only the essential definitions')

(cl-comment "I-PA7*: INCH(x,y) requires a chunk of x to overlap with y")
(cl-comment 'I-PA7*: INCH(x,y) requires a chunk of x to overlap with y')

(forall (x y)
(if
@@ -12,9 +12,9 @@

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

(cl-comment "corrected INCH Calculus with I-E1 to I-E2")
(cl-comment 'corrected INCH Calculus with I-E1 to I-E2')

(cl-comment "I-E1: an entity of maximal dimension exists")
(cl-comment 'I-E1: an entity of maximal dimension exists')

(exists (x)
(and
@@ -28,7 +28,7 @@
)
)

(cl-comment "I-E2")
(cl-comment 'I-E2')

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

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

(cl-comment "I-E3")
(cl-comment 'I-E3')

(exists (u)
(forall (x)
@@ -12,10 +12,10 @@

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

(cl-comment "original INCH Calculus with only the essential definitions")
(cl-comment 'original INCH Calculus with only the essential definitions')


(cl-comment "I-PA6: INCH transitive")
(cl-comment 'I-PA6: INCH transitive')

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

(cl-comment "I-PA7: INCH(x,y) requires a constituent of x to overlap with y")
(cl-comment 'I-PA7: INCH(x,y) requires a constituent of x to overlap with y')

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

(cl-comment "I-PA8: a chunk is a constituent")
(cl-comment 'I-PA8: a chunk is a constituent')

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

(cl-text http://colore.oor.net/inch/inch_original.clif

(cl-comment "original INCH Calculus with all definitions")
(cl-comment 'original INCH Calculus with all definitions')

(cl-comment "I-D1: constituent (Cont)")
(cl-comment 'I-D1: constituent (Cont)')

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

(cl-comment "I-D2: overlap (PO)")
(cl-comment 'I-D2: overlap (PO)')

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

(cl-comment "I-D3: contact (C)")
(cl-comment 'I-D3: contact (C)')

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

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

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

(cl-comment "I-D5: element (lower-dimensional part)")
(cl-comment 'I-D5: element (lower-dimensional part)')

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

(cl-comment "I-D6: zero region")
(cl-comment 'I-D6: zero region')

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

(cl-comment "I-D7: greater or equal dimension")
(cl-comment 'I-D7: greater or equal dimension')

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

(cl-comment "I-D8: equal dimension")
(cl-comment 'I-D8: equal dimension')

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

(cl-comment "I-D9: greater dimension")
(cl-comment 'I-D9: greater dimension')

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


(cl-comment "I-PA1: extensionality of INCH 1")
(cl-comment 'I-PA1: extensionality of INCH 1')

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

(cl-comment "I-PA2: extensionality of INCH 2")
(cl-comment 'I-PA2: extensionality of INCH 2')

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

(cl-comment "I-PA3: reflexivity of INCH")
(cl-comment 'I-PA3: reflexivity of INCH')

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

(cl-comment "I-PA4: extents are dimensionally comparable - similar to using linear dimension")
(cl-comment 'I-PA4: extents are dimensionally comparable - similar to using linear dimension')

(forall (x y)
(or
@@ -179,7 +179,7 @@
)
)

(cl-comment "I-PA5: GED transitive")
(cl-comment 'I-PA5: GED transitive')

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

(cl-comment "I-PA6: INCH transitive")
(cl-comment 'I-PA6: INCH transitive')

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

(cl-comment "I-PA7: INCH(x,y) requires a constituent of x to overlap with y")
(cl-comment 'I-PA7: INCH(x,y) requires a constituent of x to overlap with y')

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

(cl-comment "I-PA8: a chunk is a constituent")
(cl-comment 'I-PA8: a chunk is a constituent')

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

(cl-comment "I-PA9: sum")
(cl-comment 'I-PA9: sum')

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

(cl-comment "I-PA10: difference")
(cl-comment 'I-PA10: difference')

(forall (x y)
(if
Oops, something went wrong.

0 comments on commit 7996301

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.