Skip to content
Permalink
Browse files

added uris to hierarchies

  • Loading branch information...
michael.gruninger
michael.gruninger committed May 30, 2013
1 parent 8d998be commit 77b0bc1106f26557c712257270468a9101331800
Showing with 278 additions and 238 deletions.
  1. +2 −2 ontologies/ordered_algebra/ordered_vectorspace.clif
  2. +3 −3 ontologies/ordered_arithmetic/oa.clif
  3. +4 −4 ontologies/ordered_geometry/clgg.clif
  4. +2 −2 ontologies/ordered_geometry/cog.clif
  5. +4 −4 ontologies/ordered_geometry/csgg.clif
  6. +2 −2 ontologies/ordered_geometry/exog.clif
  7. +3 −3 ontologies/ordered_geometry/graphical_log.clif
  8. +3 −3 ontologies/ordered_geometry/graphical_wog.clif
  9. +3 −3 ontologies/ordered_geometry/lcog.clif
  10. +2 −2 ontologies/ordered_geometry/leog.clif
  11. +3 −3 ontologies/ordered_geometry/linear_cog.clif
  12. +3 −3 ontologies/ordered_geometry/linear_exog.clif
  13. +2 −2 ontologies/ordered_geometry/log.clif
  14. +3 −3 ontologies/ordered_geometry/modcog.clif
  15. +2 −2 ontologies/ordered_geometry/modog.clif
  16. +2 −2 ontologies/ordered_geometry/plane_order.clif
  17. +3 −3 ontologies/ordered_geometry/scog.clif
  18. +4 −4 ontologies/ordered_geometry/semilinear_graphical_log.clif
  19. +3 −3 ontologies/ordered_geometry/semilinear_lcog.clif
  20. +3 −3 ontologies/ordered_geometry/semilinear_log.clif
  21. +3 −3 ontologies/ordered_geometry/semilinear_scog.clif
  22. +3 −3 ontologies/ordered_geometry/semilinear_sog.clif
  23. +3 −3 ontologies/ordered_geometry/semilinear_tcog.clif
  24. +3 −3 ontologies/ordered_geometry/semilinear_tog.clif
  25. +2 −2 ontologies/ordered_geometry/sholander_tree_lcog.clif
  26. +2 −2 ontologies/ordered_geometry/sholander_tree_log.clif
  27. +2 −2 ontologies/ordered_geometry/sholander_tree_tcog.clif
  28. +2 −2 ontologies/ordered_geometry/sholander_tree_tog.clif
  29. +2 −2 ontologies/ordered_geometry/sog.clif
  30. +3 −3 ontologies/ordered_geometry/tcog.clif
  31. +2 −2 ontologies/ordered_geometry/tog.clif
  32. +2 −2 ontologies/ordered_geometry/wbog.clif
  33. +2 −2 ontologies/ordered_geometry/weog.clif
  34. +1 −1 ontologies/ordered_geometry/wog.clif
  35. +2 −2 ontologies/owltime_timespan/timespan.clif
  36. +2 −2 ontologies/owltime_timespan/timespan_new.clif
  37. +2 −2 ontologies/periods/atomic_periods.clif
  38. +3 −3 ontologies/periods/cem_periods.clif
  39. +40 −0 ontologies/periods/definitions/periods_def.clif
  40. +2 −2 ontologies/periods/directed_periods.clif
  41. +4 −4 ontologies/periods/finite_periods.clif
  42. +2 −2 ontologies/periods/infinite_periods.clif
  43. +3 −3 ontologies/periods/linear_periods.clif
  44. +4 −4 ontologies/periods/mixed_periods.clif
  45. +1 −1 ontologies/periods/ordered_periods.clif
  46. +3 −3 ontologies/periods/periods.clif
  47. +3 −3 ontologies/periods/periods_over_integers.clif
  48. +2 −2 ontologies/periods/periods_over_rationals.clif
  49. +1 −1 ontologies/periods/periods_root.clif
  50. +3 −3 ontologies/planar_geometry/bounded_linear_planar.clif
  51. +3 −3 ontologies/planar_geometry/bounded_pair_planar.clif
  52. +3 −3 ontologies/planar_geometry/linear_planar_geometry.clif
  53. +3 −3 ontologies/planar_geometry/pair_planar_geometry.clif
  54. +3 −3 ontologies/planar_geometry/planar_geometry_root.clif
  55. +3 −3 ontologies/planar_geometry/semilinear_planar_geometry.clif
  56. +3 −3 ontologies/planar_geometry/weak_planar_geometry.clif
  57. +2 −2 ontologies/planar_mereology/atomic_coext_lines.clif
  58. +2 −2 ontologies/planar_mereology/atomic_line_containment.clif
  59. +2 −2 ontologies/planar_mereology/atomic_noncollinear_coplanar.clif
  60. +4 −4 ontologies/planar_mereology/atomic_plane_dependence.clif
  61. +4 −4 ontologies/planar_mereology/atomic_plane_mutual_dependence.clif
  62. +4 −4 ontologies/planar_mereology/atomic_plane_proper_dependence.clif
  63. +2 −2 ontologies/planar_mereology/atomic_point_cover.clif
  64. +3 −3 ontologies/planar_mereology/atomic_transitive_tripartite.clif
  65. +3 −3 ontologies/planar_mereology/cem_coplanar_flag_mereology.clif
  66. +3 −3 ontologies/planar_mereology/cem_dependence.clif
  67. +3 −3 ontologies/planar_mereology/cem_mutual_dependence.clif
  68. +3 −3 ontologies/planar_mereology/cem_proper_dependence.clif
  69. +3 −3 ontologies/planar_mereology/coplanar_flag_mereology.clif
  70. +2 −2 ontologies/planar_mereology/coplanar_mereology.clif
  71. +3 −3 ontologies/planar_mereology/mon_nonisolated_cem_line_planar.clif
  72. +1 −1 ontologies/planar_mereology/mon_planar_mereology.clif
  73. +3 −3 ontologies/planar_mereology/mon_weak_cem_line_planar.clif
  74. +3 −3 ontologies/planar_mereology/nonisolated_cem_line_planar.clif
  75. +3 −3 ontologies/planar_mereology/nonisolated_line_planar.clif
  76. +3 −3 ontologies/planar_mereology/pair_planar_mereology.clif
  77. +3 −3 ontologies/planar_mereology/planar_cem_mereology.clif
  78. +3 −3 ontologies/planar_mereology/planar_mereology_root.clif
  79. +3 −3 ontologies/planar_mereology/weak_cem_line_planar.clif
  80. +3 −3 ontologies/planar_mereology/weak_line_planar.clif
  81. +3 −3 ontologies/planar_mereology/weak_planar_mereology.clif
  82. +1 −1 ontologies/process_specification_language/psl-subset-519.clif
  83. +7 −7 ontologies/process_specification_language/psl_outercore.clif
  84. +2 −2 ontologies/psl_actocc/actocc.clif
  85. +3 −3 ontologies/psl_atomic/atomic.clif
  86. +2 −2 ontologies/psl_complex/complex.clif
  87. +1 −1 ontologies/psl_core/psl_core.clif
  88. +2 −2 ontologies/psl_disc_state/disc_state.clif
  89. +2 −2 ontologies/psl_occtree/occtree.clif
  90. +2 −2 ontologies/psl_soo/soo.clif
  91. +2 −2 ontologies/psl_subactivity/subactivity.clif
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ontologies/ordered_algebra/ordered_vectorspace
(cl-text http://colore.oor.net/ontologies/ordered_algebra/ordered_vectorspace.clif

(cl-imports http://colore.oor.net/ontologies/algebra/vectorspace)
(cl-imports http://colore.oor.net/ontologies/algebra/vectorspace.clif)

(forall (x y z)
(iff (lesser x y)
@@ -1,9 +1,9 @@

(cl-text http://colore.oor.net/ontologies/ordered_arithmetic/oa
(cl-text http://colore.oor.net/ontologies/ordered_arithmetic/oa.clif

(cl-imports http://colore.oor.net/ontologies/ordering/discrete_forest)
(cl-imports http://colore.oor.net/ontologies/ordering/discrete_forest.clif)

(cl-imports http://colore.oor.net/ontologies/cayley_graph/cayley_graph_root)
(cl-imports http://colore.oor.net/ontologies/cayley_graph/cayley_graph_root.clif)

(forall (x y z)
(if (generator y)
@@ -1,10 +1,10 @@

(cl-text http://colore.oor.net/ordered_geometry/clgg
(cl-text http://colore.oor.net/ordered_geometry/clgg.clif

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

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

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

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/cog
(cl-text http://colore.oor.net/ordered_geometry/cog.clif

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

(forall (x y z w u l)
(if (and (between x y z)
@@ -1,10 +1,10 @@

(cl-text http://colore.oor.net/ordered_geometry/csgg
(cl-text http://colore.oor.net/ordered_geometry/csgg.clif

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

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

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

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/exog
(cl-text http://colore.oor.net/ordered_geometry/exog.clif

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

(forall (l)
(if (line l)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/graphical_log
(cl-text http://colore.oor.net/ordered_geometry/graphical_log.clif

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

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

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/graphical_wog
(cl-text http://colore.oor.net/ordered_geometry/graphical_wog.clif

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

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

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/lcog
(cl-text http://colore.oor.net/ordered_geometry/lcog.clif

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

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

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/leog
(cl-text http://colore.oor.net/ordered_geometry/leog.clif

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

(forall (x y z)
(if (between x y z)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/linear_cog
(cl-text http://colore.oor.net/ordered_geometry/linear_cog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/linear_between))
(cl-module point (cl-imports http://colore.oor.net/between/linear_between.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/linear_exog
(cl-text http://colore.oor.net/ordered_geometry/linear_exog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/linear_between))
(cl-module point (cl-imports http://colore.oor.net/between/linear_between.clif))

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/log
(cl-text http://colore.oor.net/ordered_geometry/log.clif

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

(forall (x y z l)
(if (and (line l)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/modcog
(cl-text http://colore.oor.net/ordered_geometry/modcog.clif

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

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

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/modog
(cl-text http://colore.oor.net/ordered_geometry/modog.clif

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

(forall (x y z l)
(if (and (line l)
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/ordered_geometry/plane_order
(cl-text http://colore.oor.net/ordered_geometry/plane_order.clif

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

(cl-comment "If a point p2 is between points p1 and p3, then p2 is also
between p3 and p1, and there exists a line containing the points.")
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/scog
(cl-text http://colore.oor.net/ordered_geometry/scog.clif

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

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

)
@@ -1,10 +1,10 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_graphical_log
(cl-text http://colore.oor.net/ordered_geometry/semilinear_graphical_log.clif

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

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_lcog
(cl-text http://colore.oor.net/ordered_geometry/semilinear_lcog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_log
(cl-text http://colore.oor.net/ordered_geometry/semilinear_log.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_scog
(cl-text http://colore.oor.net/ordered_geometry/semilinear_scog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_sog
(cl-text http://colore.oor.net/ordered_geometry/semilinear_sog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_tcog
(cl-text http://colore.oor.net/ordered_geometry/semilinear_tcog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/semilinear_tog
(cl-text http://colore.oor.net/ordered_geometry/semilinear_tog.clif

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

(cl-module point (cl-imports http://colore.oor.net/between/semilinear))
(cl-module point (cl-imports http://colore.oor.net/between/semilinear.clif))

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_lcog
(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_lcog.clif

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

(forall (a b)
(if (and (point a)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_log
(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_log.clif

(cl-imports log)
(cl-imports http://colore.oor.net/ordered_geometry/log)

(forall (a b)
(if (and (point a)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_tcog
(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_tcog.clif

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

(forall (a b)
(if (and (point a)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_tog
(cl-text http://colore.oor.net/ordered_geometry/sholander_tree_tog.clif

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

(forall (a b)
(if (and (point a)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/sog
(cl-text http://colore.oor.net/ordered_geometry/sog.clif

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

(forall (x y z w l)
(if (and (between y x z)
@@ -1,8 +1,8 @@

(cl-text http://colore.oor.net/ordered_geometry/tcog
(cl-text http://colore.oor.net/ordered_geometry/tcog.clif

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

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

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/tog
(cl-text http://colore.oor.net/ordered_geometry/tog.clif

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

(forall (x y z w u l)
(if (and (line l)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/tog
(cl-text http://colore.oor.net/ordered_geometry/tog.clif

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

(forall (x y l)
(if (and (B x y x)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/ordered_geometry/weog
(cl-text http://colore.oor.net/ordered_geometry/weog.clif

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

(forall (x y)
(if (between x x y)
@@ -1,5 +1,5 @@

(cl-text http://colore.oor.net/ordered_geometry/wog
(cl-text http://colore.oor.net/ordered_geometry/wog.clif

(forall (x y z)
(if (and (point x)
@@ -1,7 +1,7 @@

(cl-text timespan
(cl-text http://colore.oor.net/owltime_timespan/timespan.clif

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

(forall (t e)
(if (and (timeSpan t e)
Oops, something went wrong.

0 comments on commit 77b0bc1

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