Permalink
Browse files

appended .clif extension to URIs

  • Loading branch information...
carmenschui@gmail.com
carmenschui@gmail.com committed May 29, 2013
1 parent c675566 commit ad317246b1a68a018c6711b54a7a5b7186f946c0
Showing with 159 additions and 205 deletions.
  1. +3 −3 ontologies/algebra/module.clif
  2. +3 −3 ontologies/algebra/vectorspace.clif
  3. +2 −2 ontologies/approximate_point/ap_def.clif
  4. +3 −3 ontologies/approximate_point/ap_integer.clif
  5. +2 −2 ontologies/approximate_point/ap_interval.clif
  6. +3 −3 ontologies/approximate_point/ap_rational.clif
  7. +1 −1 ontologies/approximate_point/ap_root.clif
  8. +3 −4 ontologies/approximate_point/approximate_dense_point.clif
  9. +3 −4 ontologies/approximate_point/approximate_discrete_point.clif
  10. +2 −3 ontologies/approximate_point/approximate_point.clif
  11. +2 −3 ontologies/approximate_point/finite_ap.clif
  12. +3 −3 ontologies/approximate_point/m_exist.clif
  13. +2 −2 ontologies/approximate_point/ordered_ap.clif
  14. +1 −2 ontologies/arithmetic/robinson_arithmetic.clif
  15. +1 −2 ontologies/arithmetic/s_arithmetic.clif
  16. +2 −3 ontologies/arithmetic/succ_less.clif
  17. +2 −2 ontologies/between/altwegg.clif
  18. +2 −2 ontologies/between/anti_strict.clif
  19. +2 −2 ontologies/between/bet.clif
  20. +2 −2 ontologies/between/bet_T.clif
  21. +2 −2 ontologies/between/bet_du.clif
  22. +1 −1 ontologies/between/bet_ps.clif
  23. +1 −1 ontologies/between/betweenness.clif
  24. +1 −1 ontologies/between/burigana.clif
  25. +1 −1 ontologies/between/c_set_between.clif
  26. +1 −1 ontologies/between/chvatal_tree.clif
  27. +3 −3 ontologies/between/convex_bet.clif
  28. +2 −2 ontologies/between/convexity.clif
  29. +1 −1 ontologies/between/defays.clif
  30. +2 −2 ontologies/between/dense_bet.clif
  31. +1 −1 ontologies/between/feigl.clif
  32. +1 −1 ontologies/between/finite_pambuccian.clif
  33. +2 −2 ontologies/between/fishburn.clif
  34. +2 −2 ontologies/between/general_semilinear.clif
  35. +1 −1 ontologies/between/hashimotoB0.clif
  36. +1 −1 ontologies/between/hashimotoB1.clif
  37. +1 −1 ontologies/between/hashimotoB2.clif
  38. +1 −1 ontologies/between/huntington.clif
  39. +2 −3 ontologies/between/infinite_bet.clif
  40. +4 −6 ontologies/between/linear_bet.clif
  41. +2 −3 ontologies/between/linear_between.clif
  42. +2 −3 ontologies/between/linear_fishburn.clif
  43. +2 −3 ontologies/between/linearity.clif
  44. +3 −5 ontologies/between/not_strict_between.clif
  45. +2 −3 ontologies/between/not_strong_between.clif
  46. +1 −2 ontologies/between/pambuccian.clif
  47. +2 −3 ontologies/between/partial_fishburn.clif
  48. +1 −2 ontologies/between/plane_pambuccian.clif
  49. +2 −3 ontologies/between/positive_semilinear.clif
  50. +2 −3 ontologies/between/proper_c_set.clif
  51. +2 −3 ontologies/between/ps_modular.clif
  52. +2 −3 ontologies/between/reflexive_bet.clif
  53. +2 −2 ontologies/between/semi_fishburn.clif
  54. +1 −2 ontologies/between/semilinear.clif
  55. +1 −2 ontologies/between/shepperd.clif
  56. +2 −3 ontologies/between/shepperd_linear.clif
  57. +2 −3 ontologies/between/sholander.clif
  58. +2 −3 ontologies/between/sholander_tree.clif
  59. +1 −2 ontologies/between/sigma.clif
  60. +3 −5 ontologies/between/strict_between.clif
  61. +3 −4 ontologies/between/strict_chvatal_tree.clif
  62. +4 −7 ontologies/between/strict_linear_bet.clif
  63. +3 −5 ontologies/between/strict_linearity.clif
  64. +3 −5 ontologies/between/strong_between.clif
  65. +1 −2 ontologies/between/tarski_between.clif
  66. +1 −2 ontologies/between/tarski_linear.clif
  67. +5 −7 ontologies/between/torsten_between.clif
  68. +1 −2 ontologies/between/tschet.clif
  69. +3 −4 ontologies/between/veblen.clif
  70. +3 −4 ontologies/between/weak_fishburn.clif
  71. +3 −3 ontologies/betweenness_bundle/b_bundle.clif
  72. +3 −3 ontologies/betweenness_bundle/convex_b_bundle.clif
  73. +3 −3 ontologies/betweenness_bundle/convex_linear_b_bundle.clif
  74. +3 −3 ontologies/betweenness_bundle/convex_semilinear_b_bundle.clif
  75. +3 −3 ontologies/betweenness_bundle/linear_b_bundle.clif
  76. +3 −3 ontologies/betweenness_bundle/semilinear_b_bundle.clif
  77. +2 −2 ontologies/betweenness_bundle/trivial_b_bundle.clif
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/algebra/module
(cl-text http://colore.oor.net/algebra/module.clif
(cl-imports http://colore.oor.net/ringoids/ring)
(cl-imports http://colore.oor.net/ringoids/ring.clif)
(cl-imports http://colore.oor.net/magma/abelian_group)
(cl-imports http://colore.oor.net/magma/abelian_group.clif)
(forall (r x y)
(= (mult r (op x y)) (op (mult r x) (mult r y))))
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/algebra/vectorspace
(cl-text http://colore.oor.net/algebra/vectorspace.clif
(cl-imports http://colore.oor.net/ringoids/field)
(cl-imports http://colore.oor.net/ringoids/field.clif)
(cl-imports http://colore.oor.net/magma/abelian_group)
(cl-imports http://colore.oor.net/magma/abelian_group.clif)
(forall (r x y)
(= (mult r (op x y)) (op (mult r x) (mult r y))))
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/approximate_point/ap_def
(cl-text http://colore.oor.net/approximate_point/ap_def.clif
(cl-imports http://colore.oor.net/approximate_point/ap_root)
(cl-imports http://colore.oor.net/approximate_point/ap_root.clif)
(forall (x y)
(iff (ncdf x y)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/approximate_point/ap_integer
(cl-text http://colore.oor.net/approximate_point/ap_integer.clif
(cl-imports http://colore.oor.net/approximate_point/approximate_discrete_point)
(cl-imports http://colore.oor.net/approximate_point/approximate_discrete_point.clif)
(cl-imports http://colore.oor.net/approximate_point/ap_interval)
(cl-imports http://colore.oor.net/approximate_point/ap_interval.clif)
)
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/approximate_point/ap_interval
(cl-text http://colore.oor.net/approximate_point/ap_interval.clif
(cl-imports http://colore.oor.net/approximate_point/approximate_point)
(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)
(cl-comment "Glb")
(forall (x y z)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/approximate_point/ap_rational
(cl-text http://colore.oor.net/approximate_point/ap_rational.clif
(cl-imports http://colore.oor.net/approximate_point/approximate_dense_point)
(cl-imports http://colore.oor.net/approximate_point/approximate_dense_point.clif)
(cl-imports http://colore.oor.net/approximate_point/ap_interval)
(cl-imports http://colore.oor.net/approximate_point/ap_interval.clif)
)
@@ -1,4 +1,4 @@
(cl-text http://colore.oor.net/approximate_point/ap_root
(cl-text http://colore.oor.net/approximate_point/ap_root.clif
(forall (x y z)
(if (and (precedes x y)
@@ -1,9 +1,8 @@
(cl-text http://colore.oor.net/approximate_point/approximate_dense_point.clif
(cl-text http://colore.oor.net/approximate_point/approximate_dense_point
(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)
(cl-imports http://colore.oor.net/approximate_point/approximate_point)
(cl-imports http://colore.oor.net/approximate_point/ap_def)
(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)
(forall (x y)
(iff (meets x y)
@@ -1,9 +1,8 @@
(cl-text http://colore.oor.net/approximate_point/approximate_discrete_point.clif
(cl-text http://colore.oor.net/approximate_point/approximate_discrete_point
(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)
(cl-imports http://colore.oor.net/approximate_point/approximate_point)
(cl-imports http://colore.oor.net/approximate_point/ap_def)
(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)
(forall (x)
(exists (y)
@@ -1,7 +1,6 @@
(cl-text http://colore.oor.net/approximate_point/approximate_point.clif
(cl-text http://colore.oor.net/approximate_point/approximate_point
(cl-imports http://colore.oor.net/approximate_point/ap_def)
(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)
(forall (x y z)
(if (and (precedes x y)
@@ -1,7 +1,6 @@
(cl-text http://colore.oor.net/approximate_point/finite_ap.clif
(cl-text http://colore.oor.net/approximate_point/finite_ap
(cl-imports http://colore.oor.net/approximate_point/ap_def)
(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)
(forall (x y z)
(if (and (precedes x y)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/approximate_point/m_exist
(cl-text http://colore.oor.net/approximate_point/m_exist.clif
(cl-imports http://colore.oor.net/approximate_point/approximate_point)
(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)
(cl-imports http://colore.oor.net/approximate_point/ap_def)
(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)
(forall (i j)
(if (not (meets i j))
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/approximate_point/ordered_ap
(cl-text http://colore.oor.net/approximate_point/ordered_ap.clif
(cl-imports http://colore.oor.net/approximate_point/approximate_point)
(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)
(cl-comment "Glb")
(forall (x y z)
@@ -1,5 +1,4 @@
(cl-text http://colore.oor.net/arithmetic/robinson_arithmetic
(cl-text http://colore.oor.net/arithmetic/robinson_arithmetic.clif
(forall (x)
(not (= (S x) zero)))
@@ -1,5 +1,4 @@
(cl-text http://colore.oor.net/arithmetic/s_arithmetic
(cl-text http://colore.oor.net/arithmetic/s_arithmetic.clif
(forall (x)
(not (= (S x) zero)))
@@ -1,5 +1,4 @@
(cl-text http://colore.oor.net/arithmetic/succ_less
(cl-text http://colore.oor.net/arithmetic/succ_less.clif
(cl-imports linear_ordering)
@@ -15,4 +14,4 @@
(forall (x)
(not (lt x zero)))
)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/altwegg
(cl-text http://colore.oor.net/between/altwegg.clif
(cl-imports http://colore.oor.net/between/reflexive_bet)
(cl-imports http://colore.oor.net/between/reflexive_bet.clif)
(forall (a b c)
(if (between a b c)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/anti_strict
(cl-text http://colore.oor.net/between/anti_strict.clif
(cl-imports http://colore.oor.net/between/betweenness)
(cl-imports http://colore.oor.net/between/betweenness.clif)
(forall (p q)
(between p p q))
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/bet
(cl-text http://colore.oor.net/between/bet.clif
(cl-imports http://colore.oor.net/between/betweenness)
(cl-imports http://colore.oor.net/between/betweenness.clif)
(forall (x y z w)
(if (and (between x y z)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/bet_T
(cl-text http://colore.oor.net/between/bet_T.clif
(cl-imports http://colore.oor.net/between/betweenness)
(cl-imports http://colore.oor.net/between/betweenness.clif)
(forall (x y z w)
(if (and (between x y z)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/bet_du
(cl-text http://colore.oor.net/between/bet_du.clif
(cl-imports http://colore.oor.net/between/reflexive_bet)
(cl-imports http://colore.oor.net/between/reflexive_bet.clif)
(forall (a b c)
(if (between a b c)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/bet_ps
(cl-text http://colore.oor.net/between/bet_ps.clif
(forall (x y z)
(if (between x y z)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/betweenness
(cl-text http://colore.oor.net/between/betweenness.clif
(forall (x y z)
(if (between x y z)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/burigana
(cl-text http://colore.oor.net/between/burigana.clif
(forall (u v w)
(if (between u v w)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/c_set_between
(cl-text http://colore.oor.net/between/c_set_between.clif
(forall (a b x)
(if (between b a c)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/chvatal_tree
(cl-text http://colore.oor.net/between/chvatal_tree.clif
(forall (u v w)
(if (between u v w)
@@ -1,9 +1,9 @@
(cl-text http://colore.oor.net/between/convex_bet
(cl-text http://colore.oor.net/between/convex_bet.clif
(cl-imports http://colore.oor.net/between/bet)
(cl-imports http://colore.oor.net/between/bet.clif)
(cl-imports http://colore.oor.net/between/convexity)
(cl-imports http://colore.oor.net/between/convexity.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/convexity
(cl-text http://colore.oor.net/between/convexity.clif
(cl-imports http://colore.oor.net/between/betweenness)
(cl-imports http://colore.oor.net/between/betweenness.clif)
(forall (x y z w v)
(if (and (between x y z)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/defays
(cl-text http://colore.oor.net/between/defays.clif
(forall (a b c)
(if (and (between a b c)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/dense_bet
(cl-text http://colore.oor.net/between/dense_bet.clif
(cl-imports http://colore.oor.net/between/bet)
(cl-imports http://colore.oor.net/between/bet.clif)
(forall (x y)
(exists (z)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/feigl
(cl-text http://colore.oor.net/between/feigl.clif
(forall (x y z)
(if (between x y z)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/finite_pambuccian
(cl-text http://colore.oor.net/between/finite_pambuccian.clif
(forall (a b c)
(if (between a b c)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/fishburn
(cl-text http://colore.oor.net/between/fishburn.clif
(cl-imports http://colore.oor.net/between/partial_fishburn)
(cl-imports http://colore.oor.net/between/partial_fishburn.clif)
(forall (a b c x y z)
(if (and (between a b c)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/general_semilinear
(cl-text http://colore.oor.net/between/general_semilinear.clif
(cl-imports http://colore.oor.net/between/semilinear)
(cl-imports http://colore.oor.net/between/semilinear.clif)
(forall (a b c)
(if (not (between b a c))
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/hashimotoB0
(cl-text http://colore.oor.net/between/hashimotoB0.clif
(forall (a x b)
(if (between a x b)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/hashimotoB1
(cl-text http://colore.oor.net/between/hashimotoB1.clif
(forall (a x b)
(if (between a x b)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/hashimotoB1
(cl-text http://colore.oor.net/between/hashimotoB1.clif
(forall (a b)
(between a a b))
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/between/huntington
(cl-text http://colore.oor.net/between/huntington.clif
(forall (x y z)
(if (between x y z)
@@ -1,7 +1,6 @@
(cl-text http://colore.oor.net/between/infinite_bet.clif
(cl-text http://colore.oor.net/between/infinite_bet
(cl-imports http://colore.oor.net/between/bet)
(cl-imports http://colore.oor.net/between/bet.clif)
(forall (x y)
(exists (z)
@@ -1,10 +1,8 @@
(cl-text http://colore.oor.net/between/linear_bet.clif
(cl-text http://colore.oor.net/between/linear_bet
(cl-imports http://colore.oor.net/between/bet.clif)
(cl-imports http://colore.oor.net/between/bet)
(cl-imports http://colore.oor.net/between/linearity.clif)
(cl-imports http://colore.oor.net/between/linearity)
)
)
@@ -1,7 +1,6 @@
(cl-text http://colore.oor.net/between/linear_between.clif
(cl-text http://colore.oor.net/between/linear_between
(cl-imports http://colore.oor.net/between/betweenness)
(cl-imports http://colore.oor.net/between/betweenness.clif)
(forall (x y z w)
(if (between y x z)
@@ -1,7 +1,6 @@
(cl-text http://colore.oor.net/between/linear_fishburn.clif
(cl-text http://colore.oor.net/between/linear_fishburn
(cl-imports http://colore.oor.net/between/strict_between)
(cl-imports http://colore.oor.net/between/strict_between.clif)
(forall (x y z a)
(if (and (between x y z)
Oops, something went wrong.

0 comments on commit ad31724

Please sign in to comment.