Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent 1d369d1 commit b4edfc26506038971258153d84b002c5aeca3bdb
Showing with 941 additions and 1 deletion.
  1. +10 −0 ontologies/owltime_interval/owltime_e.clif
  2. +10 −0 ontologies/owltime_interval/owltime_interval.clif
  3. +10 −0 ontologies/owltime_interval/owltime_interval_lemmas.clif
  4. +10 −0 ontologies/owltime_interval/owltime_interval_root.clif
  5. +10 −0 ontologies/owltime_interval/owltime_le.clif
  6. +10 −0 ontologies/owltime_interval/owltime_leu.clif
  7. +10 −0 ontologies/owltime_interval/owltime_linear.clif
  8. +10 −0 ontologies/owltime_interval/owltime_mle.clif
  9. +10 −0 ontologies/owltime_interval/owltime_mleu.clif
  10. +10 −0 ontologies/owltime_interval/owltime_nle.clif
  11. +10 −0 ontologies/owltime_interval/owltime_nleu.clif
  12. +10 −0 ontologies/owltime_interval/owltime_root_leu.clif
  13. +10 −0 ontologies/owltime_interval/owltime_se.clif
  14. +10 −0 ontologies/owltime_interval/owltime_semilinear.clif
  15. +10 −0 ontologies/owltime_interval/vila.clif
  16. +10 −0 ontologies/owltime_timespan/timespan.clif
  17. +10 −0 ontologies/owltime_timespan/timespan_new.clif
  18. +10 −0 ontologies/periods/atomic_periods.clif
  19. +10 −0 ontologies/periods/bounded_linear_cem.clif
  20. +10 −0 ontologies/periods/cem_periods.clif
  21. +10 −0 ontologies/periods/definitions/periods_def.clif
  22. +10 −0 ontologies/periods/directed_periods.clif
  23. +10 −0 ontologies/periods/finite_periods.clif
  24. +10 −0 ontologies/periods/infinite_periods.clif
  25. +10 −0 ontologies/periods/linear_cem.clif
  26. +10 −0 ontologies/periods/linear_periods.clif
  27. +10 −0 ontologies/periods/mixed_periods.clif
  28. +10 −0 ontologies/periods/ordered_periods.clif
  29. +10 −0 ontologies/periods/periods.clif
  30. +10 −0 ontologies/periods/periods_over_integers.clif
  31. +10 −0 ontologies/periods/periods_over_rationals.clif
  32. +10 −0 ontologies/periods/periods_root.clif
  33. +10 −0 ontologies/piece/piece_antisymmetry.clif
  34. +10 −0 ontologies/piece/piece_atomicity.clif
  35. +10 −0 ontologies/piece/piece_def.clif
  36. +10 −0 ontologies/piece/piece_inclusion.clif
  37. +10 −0 ontologies/piece/piece_reflexivity.clif
  38. +10 −0 ontologies/piece/piece_transitivity.clif
  39. +10 −0 ontologies/piece/piece_weak_supplementation.clif
  40. +10 −0 ontologies/planar_geometry/bounded_linear_planar.clif
  41. +10 −0 ontologies/planar_geometry/bounded_pair_planar.clif
  42. +10 −0 ontologies/planar_geometry/linear_planar_geometry.clif
  43. +10 −0 ontologies/planar_geometry/pair_planar_geometry.clif
  44. +10 −0 ontologies/planar_geometry/planar_geometry_root.clif
  45. +10 −0 ontologies/planar_geometry/semilinear_planar_geometry.clif
  46. +10 −0 ontologies/planar_geometry/weak_planar_geometry.clif
  47. +10 −0 ontologies/planar_mereology/atomic_coext_lines.clif
  48. +10 −0 ontologies/planar_mereology/atomic_line_containment.clif
  49. +10 −0 ontologies/planar_mereology/atomic_noncollinear_coplanar.clif
  50. +10 −0 ontologies/planar_mereology/atomic_plane_dependence.clif
  51. +10 −0 ontologies/planar_mereology/atomic_plane_mutual_dependence.clif
  52. +10 −0 ontologies/planar_mereology/atomic_plane_proper_dependence.clif
  53. +10 −0 ontologies/planar_mereology/atomic_point_cover.clif
  54. +10 −0 ontologies/planar_mereology/atomic_transitive_tripartite.clif
  55. +10 −0 ontologies/planar_mereology/cem_coplanar_flag_mereology.clif
  56. +10 −0 ontologies/planar_mereology/cem_dependence.clif
  57. +10 −0 ontologies/planar_mereology/cem_mutual_dependence.clif
  58. +10 −0 ontologies/planar_mereology/cem_pm.clif
  59. +10 −0 ontologies/planar_mereology/cem_proper_dependence.clif
  60. +10 −0 ontologies/planar_mereology/coplanar_flag_mereology.clif
  61. +10 −0 ontologies/planar_mereology/coplanar_mereology.clif
  62. +10 −0 ontologies/planar_mereology/ideal_cem_pm.clif
  63. +10 −0 ontologies/planar_mereology/ideal_pm.clif
  64. +10 −0 ontologies/planar_mereology/lower_pm.clif
  65. +10 −0 ontologies/planar_mereology/mon_nonisolated_cem_line_planar.clif
  66. +10 −1 ontologies/planar_mereology/mon_planar_mereology.clif
  67. +10 −0 ontologies/planar_mereology/mon_weak_cem_line_planar.clif
  68. +10 −0 ontologies/planar_mereology/nonisolated_cem_line_planar.clif
  69. +10 −0 ontologies/planar_mereology/nonisolated_line_planar.clif
  70. +10 −0 ontologies/planar_mereology/pair_planar_mereology.clif
  71. +10 −0 ontologies/planar_mereology/planar_cem_mereology.clif
  72. +10 −0 ontologies/planar_mereology/weak_cem_line_planar.clif
  73. +10 −0 ontologies/planar_mereology/weak_line_planar.clif
  74. +10 −0 ontologies/planar_mereology/weak_planar_mereology.clif
  75. +10 −0 ontologies/planar_mereology/wpm.clif
  76. +10 −0 ontologies/poset_bundle/p_bundle.clif
  77. +10 −0 ontologies/poset_bundle/partial_p_bundle.clif
  78. +10 −0 ontologies/poset_foliation/downward_p_foliation.clif
  79. +10 −0 ontologies/poset_foliation/ideal_cem_down_p_foliation.clif
  80. +10 −0 ontologies/poset_foliation/p_foliation.clif
  81. +10 −0 ontologies/poset_foliation/upward_p_foliation.clif
  82. +10 −0 ontologies/process_specification_language/binary_psl.clif
  83. +10 −0 ontologies/process_specification_language/psl-subset-519.clif
  84. +10 −0 ontologies/process_specification_language/psl_outercore.clif
  85. +10 −0 ontologies/psl_duration/psl_duration.clif
  86. +10 −0 ontologies/psl_resources/definitions/consumable.clif
  87. +10 −0 ontologies/psl_resources/definitions/possibly_consumable.clif
  88. +10 −0 ontologies/psl_resources/definitions/possibly_reusable.clif
  89. +10 −0 ontologies/psl_resources/definitions/renewable.clif
  90. +10 −0 ontologies/psl_resources/definitions/reusable.clif
  91. +10 −0 ontologies/psl_resources/definitions/weakly_consumable.clif
  92. +10 −0 ontologies/psl_resources/definitions/weakly_reusable.clif
  93. +10 −0 ontologies/psl_resources/definitions/wearable.clif
  94. +11 −0 ontologies/psl_resources/requires.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/owltime_interval/owltime_e.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/owltime_interval/owltime_interval.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/owltime_interval/owltime_interval_lemmas

@@ -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/owltime_interval/owltime_interval_root.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/owltime_interval/owltime_le.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/owltime_interval/owltime_leu.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/owltime_interval/owltime_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/owltime_interval/owltime_mle.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/owltime_interval/owltime_mleu.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/owltime_interval/owltime_nle.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/owltime_interval/owltime_nleu.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/owltime_interval/owltime_root_leu.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/owltime_interval/owltime_se.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/owltime_interval/owltime_semilinear.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/owltime_interval/vila.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/owltime_timespan/timespan.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/owltime_timespan/timespan_new.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/periods/atomic_periods.clif

(cl-imports http://colore.oor.net/periods/finite_periods.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/periods/bounded_linear_cem.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/periods/cem_periods.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/periods/definitions/periods_def.clif

(cl-imports http://colore.oor.net/periods/periods_root.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/periods/directed_periods.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/periods/finite_periods.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/periods/infinite_periods.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/periods/linear_cem.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/periods/linear_periods.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/periods/mixed_periods.clif

(cl-imports http://colore.oor.net/periods/ordered_periods.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/periods/ordered_periods

Oops, something went wrong.

0 comments on commit b4edfc2

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