Skip to content
Permalink
Browse files

Consistency proved of restricted versions of CODI in multidim_space_codi

  • Loading branch information...
thahmann committed May 1, 2018
1 parent e882436 commit 1665589366cdd26ea971aae42eb028b28d55fa84
Showing with 5,122 additions and 43 deletions.
  1. +385 −0 ontologies/multidim_space_codi/consistency/codi_atomic_2d_all_nontrivial.clif
  2. +401 −0 ontologies/multidim_space_codi/consistency/codi_atomic_2d_restricted_all_nontrivial.clif
  3. +121 −0 ontologies/multidim_space_codi/consistency/conversions/codi_atomic_2d_all_nontrivial.all.tptp
  4. +47 −0 ontologies/multidim_space_codi/consistency/conversions/codi_atomic_2d_all_nontrivial.p9
  5. +128 −0 ...ies/multidim_space_codi/consistency/conversions/codi_atomic_2d_restricted_all_nontrivial.all.tptp
  6. +49 −0 ontologies/multidim_space_codi/consistency/conversions/codi_atomic_2d_restricted_all_nontrivial.p9
  7. +232 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_all_nontrivial.m4.out
  8. +232 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_all_nontrivial.p9.out
  9. +641 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_all_nontrivial.par.out
  10. +94 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_all_nontrivial.vam.out
  11. +244 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_restricted_all_nontrivial.m4.out
  12. +244 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_restricted_all_nontrivial.p9.out
  13. +651 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_restricted_all_nontrivial.par.out
  14. +94 −0 ontologies/multidim_space_codi/consistency/output/codi_atomic_2d_restricted_all_nontrivial.vam.out
  15. +5 −0 ontologies/multidim_space_codi/conversions/codi_atomic.p9
  16. +76 −0 ontologies/multidim_space_codi/conversions/codi_atomic_2d.all.tptp
  17. +7 −0 ontologies/multidim_space_codi/conversions/codi_atomic_2d.p9
  18. +81 −0 ontologies/multidim_space_codi/conversions/codi_atomic_2d_restricted.all.tptp
  19. +7 −0 ontologies/multidim_space_codi/conversions/codi_atomic_2d_restricted.p9
  20. +1 −1 ontologies/multidim_space_codi/conversions/codi_basic.p9
  21. +4 −5 ontologies/multidim_space_codi/definitions/conversions/areal_region.p9
  22. +4 −6 ontologies/multidim_space_codi/definitions/conversions/curve.p9
  23. +1 −1 ontologies/multidim_space_codi/definitions/conversions/ep.p9
  24. +1 −1 ontologies/multidim_space_codi/definitions/conversions/epp.p9
  25. +1 −1 ontologies/multidim_space_codi/definitions/conversions/inc.p9
  26. +2 −2 ontologies/multidim_space_codi/definitions/conversions/min_max_in_dim.p9
  27. +1 −1 ontologies/multidim_space_codi/definitions/conversions/po.p9
  28. +3 −6 ontologies/multidim_space_codi/definitions/conversions/point_region.p9
  29. +1 −1 ontologies/multidim_space_codi/definitions/conversions/sc.p9
  30. +182 −0 ontologies/multidim_space_codi/output/codi_atomic_2d.m4.out
  31. +182 −0 ontologies/multidim_space_codi/output/codi_atomic_2d.p9.out
  32. +136 −0 ontologies/multidim_space_codi/output/codi_atomic_2d.par.out
  33. +226 −0 ontologies/multidim_space_codi/output/codi_atomic_2d.vam.out
  34. +192 −0 ontologies/multidim_space_codi/output/codi_atomic_2d_restricted.m4.out
  35. +192 −0 ontologies/multidim_space_codi/output/codi_atomic_2d_restricted.p9.out
  36. +141 −0 ontologies/multidim_space_codi/output/codi_atomic_2d_restricted.par.out
  37. +96 −0 ontologies/multidim_space_codi/output/codi_atomic_2d_restricted.vam.out
  38. +4 −4 ontologies/multidim_space_cont/conversions/cont_basic.p9
  39. +1 −1 ontologies/multidim_space_cont/definitions/conversions/c.p9
  40. +5 −5 ontologies/multidim_space_dim/conversions/dim_prime_linear_unbounded.p9
  41. +1 −1 ontologies/multidim_space_dim/definitions/conversions/covers.p9
  42. +3 −3 ontologies/multidim_space_dim/definitions/conversions/dim_basic_defs.p9
  43. +1 −1 ontologies/multidim_space_dim/definitions/conversions/eq_dim.p9
  44. +2 −3 ontologies/multidim_space_dim/definitions/conversions/min_max_dim.p9
@@ -0,0 +1,385 @@
/** AUTOMATICALLY CREATED BY MACLEOD ON Tue May 01 17:19:38 2018**/

(cl-text multidim_space_codi\consistency\codi_atomic_2d_all_nontrivial.clif

(cl-imports multidim_space_codi\codi_atomic_2d.clif)

(exists (X0)
(and
(ZEX X0)
)
)


(exists (X0)
(and
(not
(ZEX X0)
)
)
)


(exists (X0 X1)
(and
(PP X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(PP X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(SC X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(SC X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0)
(and
(MinDim X0)
)
)


(exists (X0)
(and
(not
(MinDim X0)
)
)
)


(exists (X0 X1)
(and
(<= X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(<= X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(PO X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(PO X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0)
(and
(Min X0)
)
)


(exists (X0)
(and
(not
(Min X0)
)
)
)


(exists (X0 X1)
(and
(P X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(P X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(EqDim X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(EqDim X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0)
(and
(PointRegion X0)
)
)


(exists (X0)
(and
(not
(PointRegion X0)
)
)
)


(exists (X0 X1)
(and
(< X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(< X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0)
(and
(ArealRegion X0)
)
)


(exists (X0)
(and
(not
(ArealRegion X0)
)
)
)


(exists (X0 X1)
(and
(>= X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(>= X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(Cont X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(Cont X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0)
(and
(Curve X0)
)
)


(exists (X0)
(and
(not
(Curve X0)
)
)
)


(exists (X0 X1)
(and
(> X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(> X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0)
(and
(Max X0)
)
)


(exists (X0)
(and
(not
(Max X0)
)
)
)


(exists (X0)
(and
(S X0)
)
)


(exists (X0)
(and
(not
(S X0)
)
)
)


(exists (X0)
(and
(MaxDim X0)
)
)


(exists (X0)
(and
(not
(MaxDim X0)
)
)
)


(exists (X0 X1)
(and
(C X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(C X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(Covers X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(Covers X0 X1)
)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(Inc X0 X1)
(not (= X0 X1))
)
)


(exists (X0 X1)
(and
(not
(Inc X0 X1)
)
(not (= X0 X1))
)
)


)
Oops, something went wrong.

0 comments on commit 1665589

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