Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 19, 2019
1 parent 49653de commit 8eb7eb571fa93b5f18d0fb7e3d5e926b10fad06b
Showing with 702 additions and 0 deletions.
  1. +10 −0 ontologies/between/linear_bet.clif
  2. +10 −0 ontologies/between/strict_chvatal_tree.clif
  3. +10 −0 ontologies/between/strict_linear_bet.clif
  4. +10 −0 ontologies/between/torsten_between.clif
  5. +10 −0 ontologies/between/weak_fishburn.clif
  6. +10 −0 ontologies/biospatial/biospatial.clif
  7. +10 −0 ontologies/bipartite_incidence/definitions/bipartite_def.clif
  8. +9 −0 ontologies/bipartite_incidence/strong_polycyclic.clif
  9. +10 −0 ontologies/bounds/bounds.clif
  10. +9 −0 ontologies/boxworld/boxworld_edge.clif
  11. +10 −0 ontologies/cardworld/cardworld_edge.clif
  12. +10 −0 ontologies/gwml2/Module1.clif
  13. +10 −0 ontologies/gwml2/Module12.clif
  14. +10 −0 ontologies/gwml2/Module17.clif
  15. +10 −0 ontologies/gwml2/Module18.clif
  16. +10 −0 ontologies/gwml2/Module22.clif
  17. +10 −0 ontologies/gwml2/Module23.clif
  18. +10 −0 ontologies/gwml2/Module24.clif
  19. +10 −0 ontologies/gwml2/Module25.clif
  20. +10 −0 ontologies/gwml2/Module26.clif
  21. +10 −0 ontologies/gwml2/Module28.clif
  22. +10 −0 ontologies/gwml2/Module29.clif
  23. +10 −0 ontologies/gwml2/Module3.clif
  24. +10 −0 ontologies/gwml2/Module30.clif
  25. +10 −0 ontologies/gwml2/Module31.clif
  26. +10 −0 ontologies/gwml2/Module32.clif
  27. +10 −0 ontologies/gwml2/Module4.clif
  28. +10 −0 ontologies/gwml2/Module5.clif
  29. +10 −0 ontologies/gwml2/Module6.clif
  30. +10 −0 ontologies/gwml2/Module6A.clif
  31. +10 −0 ontologies/gwml2/Module7.clif
  32. +10 −0 ontologies/gwml2/Module8.clif
  33. +10 −0 ontologies/gwml2/Module9.clif
  34. +10 −0 ontologies/gwml2/definitions/Module10.clif
  35. +10 −0 ontologies/gwml2/definitions/Module11.clif
  36. +10 −0 ontologies/gwml2/definitions/Module13.clif
  37. +10 −0 ontologies/gwml2/definitions/Module14.clif
  38. +10 −0 ontologies/gwml2/definitions/Module15.clif
  39. +10 −0 ontologies/gwml2/definitions/Module16.clif
  40. +10 −0 ontologies/gwml2/definitions/Module19.clif
  41. +10 −0 ontologies/gwml2/definitions/Module2.clif
  42. +10 −0 ontologies/gwml2/definitions/Module20.clif
  43. +10 −0 ontologies/gwml2/definitions/Module21.clif
  44. +10 −0 ontologies/gwml2/definitions/Module27.clif
  45. +9 −0 ontologies/iof/test.clif
  46. +10 −0 ontologies/mechanical-components/mechanical-components.clif
  47. +10 −0 ontologies/mereological_bundle/mereological_bundle_def.clif
  48. +10 −0 ontologies/mereological_foliation/ideal_cem_downward_cem_foliation.clif
  49. +10 −0 ontologies/mereological_foliation/ideal_cem_downward_m_foliation.clif
  50. +10 −0 ontologies/nebesky_ternary/definitions/edge.clif
  51. +10 −0 ontologies/nebesky_ternary/definitions/reflexivity.clif
  52. +9 −0 ontologies/occupy/theorems/connection2region/Pi2.clif
  53. +10 −0 ontologies/occupy/theorems/graph_hom2occupy/Pi8.clif
  54. +9 −0 ontologies/occupy/theorems/graph_loops2physical/Pi5.clif
  55. +9 −0 ontologies/occupy/theorems/m_mereology2region/Pi1.clif
  56. +9 −0 ontologies/occupy/theorems/mapping_preserve2occupy/Pi7.clif
  57. +9 −0 ontologies/occupy/theorems/mereograph2physical/Pi6.clif
  58. +9 −0 ontologies/occupy/theorems/mt2region/Pi3.clif
  59. +9 −0 ontologies/occupy/theorems/occupy2graph_hom/Delta8.clif
  60. +9 −0 ontologies/occupy/theorems/occupy2mapping_preserve/Delta7.clif
  61. +9 −0 ontologies/occupy/theorems/partial_ordering2physical/Pi4.clif
  62. +9 −0 ontologies/occupy/theorems/physical2graph_loops/Delta5.clif
  63. +9 −0 ontologies/occupy/theorems/physical2mereograph/Delta6.clif
  64. +9 −0 ontologies/occupy/theorems/physical2partial_ordering/Delta4.clif
  65. +9 −0 ontologies/occupy/theorems/region2connection/Delta2.clif
  66. +9 −0 ontologies/occupy/theorems/region2m_mereology/Delta1.clif
  67. +9 −0 ontologies/occupy/theorems/region2mt/Delta3.clif
  68. +10 −0 ontologies/shape/polyworld_order.clif
  69. +10 −0 ontologies/shapefeature/shapefeature.clif
  70. +10 −0 ontologies/space/bounds.clif
  71. +10 −0 ontologies/standard-units/standard-units.clif
  72. +10 −0 ontologies/sumo/sumo-cl.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/linear_bet.clif

(cl-imports 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/strict_chvatal_tree.clif

(cl-imports 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/strict_linear_bet.clif

(cl-imports 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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

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

(cl-imports 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/weak_fishburn.clif

(cl-imports http://colore.oor.net/between/semi_fishburn.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:
* Carmen Chui, Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-comment 'Author: Anthony G. Cohn')
@@ -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/bipartite_incidence/definitions/bipartite_def.clif

(cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite.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/bipartite_incidence/strong_polycyclic.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/bounds/bounds.clif

(cl-imports http://colore.oor.net/shapefeature/shapefeature.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/boxworld/boxworld_edge.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/cardworld/cardworld_edge.clif

(cl-imports http://colore.oor.net/cardworld/cardworld_part.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module1.clif
(cl-imports http://colore.oor.net/multidim_space_ped/ped.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module12.clif
(cl-imports http://colore.oor.net/gwml2/module1.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module17.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module16.clif)
(cl-imports http://colore.oor.net/gwml2/module8.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module18.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module2.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module22.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module14.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module23.clif
(cl-imports http://colore.oor.net/gwml2/module12.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module24.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module13.clif)
(cl-imports http://colore.oor.net/gwml2/module23.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module25.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module16.clif)
(cl-imports http://colore.oor.net/gwml2/module24.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module26.clif
(cl-imports http://colore.oor.net/gwml2/module25.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module28.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module27.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module29.clif
(cl-imports http://colore.oor.net/gwml2/module5.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module3.clif
(cl-imports http://colore.oor.net/gwml2/module1.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module30.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module16.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module31.clif
(cl-imports http://colore.oor.net/gwml2/module4.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module32.clif
(cl-imports http://colore.oor.net/gwml2/module1.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module4.clif
(cl-imports http://colore.oor.net/gwml2/module3.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:
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/gwml2/module5.clif
(cl-imports http://colore.oor.net/gwml2/module4.clif)

Oops, something went wrong.

0 comments on commit 8eb7eb5

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