Skip to content
Permalink
Browse files

added Creative Content 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent bfcbbb0 commit d87994f69aed6b8f9c382884d8a7055e668eaae8
Showing with 739 additions and 11 deletions.
  1. +9 −0 ontologies/approximate_point/ap_def.clif
  2. +11 −1 ontologies/approximate_point/ap_integer.clif
  3. +11 −1 ontologies/approximate_point/ap_interval.clif
  4. +11 −1 ontologies/approximate_point/ap_rational.clif
  5. +11 −1 ontologies/approximate_point/ap_root.clif
  6. +11 −1 ontologies/approximate_point/approximate_dense_point.clif
  7. +11 −1 ontologies/approximate_point/approximate_discrete_point.clif
  8. +11 −1 ontologies/approximate_point/approximate_point.clif
  9. +11 −1 ontologies/approximate_point/finite_ap.clif
  10. +11 −1 ontologies/approximate_point/m_exist.clif
  11. +11 −1 ontologies/approximate_point/ordered_ap.clif
  12. +11 −1 ontologies/arithmetic/robinson_arithmetic.clif
  13. +10 −0 ontologies/between/altwegg.clif
  14. +10 −0 ontologies/between/anti_strict.clif
  15. +10 −0 ontologies/between/bet.clif
  16. +10 −0 ontologies/between/bet_T.clif
  17. +10 −0 ontologies/between/bet_du.clif
  18. +10 −0 ontologies/between/bet_ps.clif
  19. +10 −0 ontologies/between/betweenness.clif
  20. +10 −0 ontologies/between/burigana.clif
  21. +10 −0 ontologies/between/c_set_between.clif
  22. +10 −0 ontologies/between/chvatal_tree.clif
  23. +10 −0 ontologies/between/convex_bet.clif
  24. +10 −0 ontologies/between/convex_coppel.clif
  25. +10 −0 ontologies/between/convexity.clif
  26. +10 −0 ontologies/between/coppel_linear.clif
  27. +10 −0 ontologies/between/coppel_pasch.clif
  28. +10 −0 ontologies/between/coppel_prop2.clif
  29. +10 −0 ontologies/between/defays.clif
  30. +10 −0 ontologies/between/dense_bet.clif
  31. +10 −0 ontologies/between/feigl.clif
  32. +10 −0 ontologies/between/finite_pambuccian.clif
  33. +10 −0 ontologies/between/fishburn.clif
  34. +10 −0 ontologies/between/general_semilinear.clif
  35. +10 −0 ontologies/between/hashimotoB0.clif
  36. +10 −0 ontologies/between/hashimotoB1.clif
  37. +10 −0 ontologies/between/hashimotoB2.clif
  38. +10 −0 ontologies/between/huntington.clif
  39. +10 −0 ontologies/between/infinite_bet.clif
  40. +10 −0 ontologies/between/inner_pasch.clif
  41. +10 −0 ontologies/between/lewand.clif
  42. +10 −0 ontologies/between/linear_between.clif
  43. +10 −0 ontologies/between/linear_fishburn.clif
  44. +10 −0 ontologies/between/linearity.clif
  45. +10 −0 ontologies/between/newsemilinear.clif
  46. +10 −0 ontologies/between/not_strict_between.clif
  47. +10 −0 ontologies/between/not_strong_between.clif
  48. +10 −0 ontologies/between/outer_pasch.clif
  49. +10 −0 ontologies/between/pambuccian.clif
  50. +10 −0 ontologies/between/partial_fishburn.clif
  51. +10 −0 ontologies/between/plane_pambuccian.clif
  52. +10 −0 ontologies/between/positive_semilinear.clif
  53. +10 −0 ontologies/between/proper_c_set.clif
  54. +10 −0 ontologies/between/ps_distributive.clif
  55. +10 −0 ontologies/between/ps_lattice.clif
  56. +10 −0 ontologies/between/ps_modular.clif
  57. +10 −0 ontologies/between/reflexive_bet.clif
  58. +10 −0 ontologies/between/semi_fishburn.clif
  59. +10 −0 ontologies/between/semilinear.clif
  60. +10 −0 ontologies/between/semilinearity.clif
  61. +10 −0 ontologies/between/shepperd.clif
  62. +10 −0 ontologies/between/shepperd_linear.clif
  63. +10 −0 ontologies/between/sholander.clif
  64. +10 −0 ontologies/between/sholander_tree.clif
  65. +10 −0 ontologies/between/sigma.clif
  66. +10 −0 ontologies/between/strict_between.clif
  67. +10 −0 ontologies/between/strict_linearity.clif
  68. +10 −0 ontologies/between/strong_between.clif
  69. +10 −0 ontologies/between/tarski_between.clif
  70. +10 −0 ontologies/between/tarski_linear.clif
  71. +10 −0 ontologies/between/tschet.clif
  72. +10 −0 ontologies/between/veblen.clif
  73. +9 −0 ontologies/between/weak_between.clif
@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/ap_def.clif

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/ap_integer.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/ap_integer.clif

(cl-imports http://colore.oor.net/approximate_point/approximate_discrete_point.clif)

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/ap_interval.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/ap_interval.clif

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

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/ap_rational.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/ap_rational.clif

(cl-imports http://colore.oor.net/approximate_point/approximate_dense_point.clif)

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/ap_root.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/ap_root.clif

(forall (x y z)
(if (and (precedes x y)
@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/approximate_dense_point.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/approximate_dense_point.clif

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

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/approximate_discrete_point.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/approximate_discrete_point.clif

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

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/approximate_point.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/finite_ap.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/finite_ap.clif

(cl-imports http://colore.oor.net/approximate_point/ap_def.clif)

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/m_exist.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/m_exist.clif

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

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/approximate_point/ordered_ap.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/approximate_point/ordered_ap.clif

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

@@ -1,4 +1,14 @@
(cl-text http://colore.oor.net/arithmetic/robinson_arithmetic.clif
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/arithmetic/robinson_arithmetic.clif

(forall (x)
(not (= (S x) zero)))
@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/altwegg.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/anti_strict.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/bet.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/bet_T.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/bet_du.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/bet_ps.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/betweenness.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/burigana.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/c_set_between.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/chvatal_tree.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/convex_bet.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/convex_coppel.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/convexity.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/coppel_linear.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/between/coppel_pasch.clif

Oops, something went wrong.

0 comments on commit d87994f

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