Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent d30e0a1 commit 208398ebf5c0978e8e6705788ae342fef6b9bdc5
Showing with 1,834 additions and 6 deletions.
  1. +10 −0 ontologies/mereology/definitions/comp.clif
  2. +10 −0 ontologies/mereology/definitions/gunky.clif
  3. +10 −0 ontologies/mereology/definitions/overlaps.clif
  4. +10 −0 ontologies/mereology/definitions/ppart.clif
  5. +10 −0 ontologies/mereology/definitions/prod.clif
  6. +10 −0 ontologies/mereology/definitions/sum.clif
  7. +10 −0 ontologies/mereology/definitions/underlaps.clif
  8. +10 −0 ontologies/mereology/m_mereology.clif
  9. +10 −0 ontologies/mereology/mem_mereology.clif
  10. +10 −0 ontologies/mereology/mm_mereology.clif
  11. +10 −0 ontologies/mereology/nonoverlaps.clif
  12. +10 −0 ontologies/mereology/ortho_mereology.clif
  13. +10 −0 ontologies/mereology/overlap_ext.clif
  14. +10 −0 ontologies/mereology/ppp_m_mereology.clif
  15. +10 −0 ontologies/mereology/ppp_mm_mereology.clif
  16. +10 −0 ontologies/mereology/prod_mereology.clif
  17. +10 −0 ontologies/mereology/proper_parts.clif
  18. +10 −0 ontologies/mereology/remainder_mereology.clif
  19. +10 −0 ontologies/mereology/ssp_weak.clif
  20. +10 −0 ontologies/mereology/strong_company.clif
  21. +10 −0 ontologies/mereology/strong_lub_mereology.clif
  22. +10 −0 ontologies/mereology/strong_sum_mereology.clif
  23. +10 −0 ontologies/mereology/sum_mereology.clif
  24. +10 −0 ontologies/mereology/sum_overlap.clif
  25. +10 −0 ontologies/mereology/sum_tarski_mereology.clif
  26. +10 −0 ontologies/mereology/tree_mereology.clif
  27. +10 −0 ontologies/mereology/tree_mm_mereology.clif
  28. +10 −0 ontologies/mereology/ub_mereology.clif
  29. +10 −0 ontologies/mereology/weak_cm_mereology.clif
  30. +20 −0 ontologies/mereology/weak_company.clif
  31. +10 −0 ontologies/mereotopology/connection.clif
  32. +10 −0 ontologies/mereotopology/extensional_connection.clif
  33. +10 −0 ontologies/multidim_occupy/box_occupy.clif
  34. +10 −0 ontologies/multidim_occupy/edge_occupy.clif
  35. +10 −0 ontologies/multidim_occupy/multidim_occupy_root.clif
  36. +10 −0 ontologies/multidim_occupy/point_occupy.clif
  37. +11 −0 ontologies/multidim_occupy/surface_occupy.clif
  38. +10 −0 ontologies/multigeometry/antitone.clif
  39. +10 −0 ontologies/multigeometry/collinear_antichain.clif
  40. +10 −0 ontologies/multigeometry/collinear_chain.clif
  41. +10 −0 ontologies/multigeometry/functional_g.clif
  42. +10 −0 ontologies/multigeometry/graphical_forest_linear_collinear_chain.clif
  43. +10 −0 ontologies/multigeometry/injection_g.clif
  44. +10 −0 ontologies/multigeometry/mapping_g.clif
  45. +10 −0 ontologies/multigeometry/mapping_preserve.clif
  46. +10 −0 ontologies/multigeometry/mirror_g.clif
  47. +10 −0 ontologies/multigeometry/mirror_mapping.clif
  48. +10 −0 ontologies/multigeometry/mirror_preserve.clif
  49. +10 −0 ontologies/multigeometry/multi_g.clif
  50. +10 −0 ontologies/multigeometry/multi_preserve.clif
  51. +10 −0 ontologies/multigeometry/multi_reflect.clif
  52. +10 −0 ontologies/multigeometry/order_embedding.clif
  53. +10 −0 ontologies/multigeometry/order_isomorphism.clif
  54. +10 −0 ontologies/multigeometry/order_monomorphism.clif
  55. +10 −0 ontologies/multigeometry/parallel_em_partial_collinear_antichain.clif
  56. +10 −0 ontologies/multigeometry/residuated.clif
  57. +10 −0 ontologies/multigeometry/residuated_mapping.clif
  58. +10 −0 ontologies/multigraphs/all_loop.clif
  59. +10 −0 ontologies/multigraphs/branchless_multigraph.clif
  60. +10 −0 ontologies/multigraphs/complete_multigraph.clif
  61. +10 −0 ontologies/multigraphs/complete_pseudograph.clif
  62. +10 −0 ontologies/multigraphs/complete_simple_multigraph.clif
  63. +10 −0 ontologies/multigraphs/cycle_path_multigraph.clif
  64. +10 −0 ontologies/multigraphs/cyclic_multigraph.clif
  65. +10 −1 ontologies/multigraphs/definitions/multigraphs_def.clif
  66. +10 −0 ontologies/multigraphs/double_edge.clif
  67. +10 −0 ontologies/multigraphs/double_edge_multigraph.clif
  68. +10 −0 ontologies/multigraphs/double_endpoints.clif
  69. +10 −0 ontologies/multigraphs/double_vertex.clif
  70. +10 −0 ontologies/multigraphs/edge_existence.clif
  71. +10 −0 ontologies/multigraphs/edge_intersect.clif
  72. +10 −0 ontologies/multigraphs/edge_multigraph.clif
  73. +10 −0 ontologies/multigraphs/edge_pseudograph.clif
  74. +10 −0 ontologies/multigraphs/endloop_multigraph.clif
  75. +10 −0 ontologies/multigraphs/endloop_pseudograph.clif
  76. +10 −0 ontologies/multigraphs/endpoint_exist.clif
  77. +10 −0 ontologies/multigraphs/gen_cyclic_multigraph.clif
  78. +10 −0 ontologies/multigraphs/graph.clif
  79. +10 −0 ontologies/multigraphs/loop_pseudograph.clif
  80. +10 −0 ontologies/multigraphs/multigraph.clif
  81. +10 −0 ontologies/multigraphs/path_multigraph.clif
  82. +10 −0 ontologies/multigraphs/polycyclic_multigraph.clif
  83. +10 −0 ontologies/multigraphs/pseudograph.clif
  84. +10 −0 ontologies/multigraphs/simple_all_loop.clif
  85. +10 −0 ontologies/multigraphs/simple_cycle_path_multigraph.clif
  86. +10 −0 ontologies/multigraphs/simple_cyclic_multigraph.clif
  87. +10 −0 ontologies/multigraphs/simple_double_edge.clif
  88. +10 −0 ontologies/multigraphs/simple_edge_intersect.clif
  89. +10 −0 ontologies/multigraphs/simple_edge_multigraph.clif
  90. +10 −0 ontologies/multigraphs/simple_loop_pseudograph.clif
  91. +10 −0 ontologies/multigraphs/simple_path_multigraph.clif
  92. +10 −0 ontologies/multigraphs/simple_pseudograph.clif
  93. +10 −0 ontologies/multigraphs/strong_cycle_path_multigraph.clif
  94. +10 −0 ontologies/multigraphs/strong_edge_existence.clif
  95. +10 −0 ontologies/multigraphs/strong_multigraph.clif
  96. +10 −0 ontologies/multigraphs/strong_path_multigraph.clif
  97. +10 −0 ontologies/multigraphs/unique_isolated_vertex.clif
  98. +10 −0 ontologies/multigraphs/vertex_intersect.clif
  99. +10 −0 ontologies/multigraphs/vertex_multigraph.clif
  100. +10 −0 ontologies/multigraphs/vertex_pseudograph.clif
  101. +10 −0 ontologies/multigraphs/weak_branchless_multigraph.clif
  102. +10 −0 ontologies/multigraphs/weak_edge_intersect.clif
  103. +10 −1 ontologies/multigraphs/weak_endloop_pseudograph.clif
  104. +10 −1 ontologies/multimereology/dl_pcc.clif
  105. +10 −1 ontologies/multimereology/fo_pcc.clif
  106. +10 −1 ontologies/multimereology/ppcmp.clif
  107. +11 −0 ontologies/multimereology/ppcnt.clif
  108. +10 −0 ontologies/occupy/definitions/occupy_def.clif
  109. +10 −0 ontologies/occupy/embed_occupy.clif
  110. +10 −0 ontologies/occupy/gunkiness.clif
  111. +10 −0 ontologies/occupy/mon_occupy.clif
  112. +10 −0 ontologies/occupy/no_extended_simples.clif
  113. +10 −0 ontologies/occupy/no_gunk_point_space.clif
  114. +10 −0 ontologies/occupy/no_interpenetration.clif
  115. +10 −0 ontologies/occupy/occupy_connection/occupy_connection.clif
  116. +10 −0 ontologies/occupy/occupy_mereology/occupy_mereology.clif
  117. +10 −0 ontologies/occupy/occupy_root.clif
  118. +10 −0 ontologies/occupy/physical_connection/physical_connection.clif
  119. +10 −0 ontologies/occupy/physical_mereology/physical_mereology.clif
  120. +10 −0 ontologies/occupy/physical_mt/physical_mt.clif
  121. +10 −0 ontologies/occupy/proper_occupy.clif
  122. +11 −0 ontologies/occupy/region_connection/region_connection.clif
  123. +10 −0 ontologies/occupy/region_mereology/region_mereology.clif
  124. +10 −0 ontologies/occupy/region_mt/region_mt.clif
  125. +10 −0 ontologies/occupy/rigid_occupy.clif
  126. +10 −0 ontologies/occupy/simplicity.clif
  127. +10 −0 ontologies/occupy/strong_occupy.clif
  128. +11 −1 ontologies/opo/opo.clif
  129. +10 −0 ontologies/opo/parthoodbridge.clif
  130. +10 −0 ontologies/ordered_algebra/linear_ordered_vectorspace.clif
  131. +10 −0 ontologies/ordered_algebra/ordered_vectorspace.clif
  132. +10 −0 ontologies/ordered_algebra/riesz_space.clif
  133. +10 −0 ontologies/ordered_arithmetic/chain_successor.clif
  134. +10 −0 ontologies/ordered_arithmetic/linear_successor.clif
  135. +10 −0 ontologies/ordered_arithmetic/min_succ_less.clif
  136. +10 −0 ontologies/ordered_arithmetic/no_max_succ_less.clif
  137. +10 −0 ontologies/ordered_arithmetic/succ_less.clif
  138. +10 −0 ontologies/ordered_arithmetic/unique_min_succ_less.clif
  139. +10 −0 ontologies/ordered_cayley/oa.clif
  140. +10 −0 ontologies/ordered_geometry/bideal.clif
  141. +10 −0 ontologies/ordered_geometry/clgg.clif
  142. +10 −0 ontologies/ordered_geometry/cog.clif
  143. +10 −0 ontologies/ordered_geometry/csgg.clif
  144. +10 −0 ontologies/ordered_geometry/exog.clif
  145. +10 −0 ontologies/ordered_geometry/graphical_log.clif
  146. +10 −0 ontologies/ordered_geometry/graphical_wog.clif
  147. +10 −0 ontologies/ordered_geometry/lcog.clif
  148. +10 −0 ontologies/ordered_geometry/leog.clif
  149. +10 −0 ontologies/ordered_geometry/linear_cog.clif
  150. +10 −0 ontologies/ordered_geometry/linear_exlcog.clif
  151. +10 −0 ontologies/ordered_geometry/linear_exlog.clif
  152. +10 −0 ontologies/ordered_geometry/linear_graphical_log.clif
  153. +10 −0 ontologies/ordered_geometry/linear_wog.clif
  154. +10 −0 ontologies/ordered_geometry/log.clif
  155. +10 −0 ontologies/ordered_geometry/modcog.clif
  156. +10 −0 ontologies/ordered_geometry/modog.clif
  157. +10 −0 ontologies/ordered_geometry/plane_order.clif
  158. +10 −0 ontologies/ordered_geometry/rayog.clif
  159. +10 −0 ontologies/ordered_geometry/scog.clif
  160. +10 −0 ontologies/ordered_geometry/semilinear_exlcog.clif
  161. +10 −0 ontologies/ordered_geometry/semilinear_exlog.clif
  162. +10 −0 ontologies/ordered_geometry/semilinear_graphical_log.clif
  163. +10 −0 ontologies/ordered_geometry/semilinear_lcog.clif
  164. +10 −0 ontologies/ordered_geometry/semilinear_log.clif
  165. +10 −0 ontologies/ordered_geometry/semilinear_scog.clif
  166. +10 −0 ontologies/ordered_geometry/semilinear_sog.clif
  167. +10 −0 ontologies/ordered_geometry/semilinear_tcog.clif
  168. +10 −0 ontologies/ordered_geometry/semilinear_tog.clif
  169. +10 −0 ontologies/ordered_geometry/sholander_tree_lcog.clif
  170. +10 −0 ontologies/ordered_geometry/sholander_tree_log.clif
  171. +10 −0 ontologies/ordered_geometry/sholander_tree_tcog.clif
  172. +10 −0 ontologies/ordered_geometry/sholander_tree_tog.clif
  173. +10 −0 ontologies/ordered_geometry/sog.clif
  174. +10 −0 ontologies/ordered_geometry/tcog.clif
  175. +10 −0 ontologies/ordered_geometry/tog.clif
  176. +10 −0 ontologies/ordered_geometry/weog.clif
  177. +10 −0 ontologies/ordered_geometry/wog.clif
  178. +10 −0 ontologies/ordered_magma/linear_ordered_group.clif
  179. +10 −0 ontologies/ordered_ringoid/discrete_ordered_ring.clif
  180. +10 −0 ontologies/ordered_ringoid/discrete_ordered_semiring.clif
  181. +10 −0 ontologies/ordered_ringoid/euclidean_field.clif
  182. +10 −0 ontologies/ordered_ringoid/ordered_field.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/mereology/definitions/comp.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/mereology/definitions/gunky.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/mereology/definitions/overlaps.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/mereology/definitions/ppart.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/mereology/definitions/prod.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/mereology/definitions/sum.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/mereology/definitions/underlaps.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/mereology/m_mereology.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/mereology/mem_mereology.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/mereology/mm_mereology.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/mereology/nonoverlaps.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/mereology/ortho_mereology.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/mereology/overlap_ext.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/mereology/ppp_m_mereology.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/mereology/ppp_mm_mereology.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/mereology/prod_mereology.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/mereology/proper_parts.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/mereology/remainder_mereology.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/mereology/ssp_weak.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/mereology/strong_company.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/mereology/strong_lub_mereology.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/mereology/strong_sum_mereology.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/mereology/sum_mereology.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/mereology/sum_overlap.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/mereology/sum_tarski_mereology.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/mereology/tree-mereology.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/mereology/tree_mm_mereology.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/mereology/ub_mereology.clif

Oops, something went wrong.

0 comments on commit 208398e

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