Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent abacd67 commit ab50f20650fe6a95455e728a643d92ef35717eb4
Showing with 701 additions and 0 deletions.
  1. +9 −0 ontologies/size/area.clif
  2. +9 −0 ontologies/size/definitions/physical_area.clif
  3. +9 −0 ontologies/size/definitions/physical_length.clif
  4. +9 −0 ontologies/size/definitions/physical_volume.clif
  5. +9 −0 ontologies/size/length.clif
  6. +9 −0 ontologies/size/spatial_area.clif
  7. +9 −0 ontologies/size/spatial_length.clif
  8. +9 −0 ontologies/size/spatial_volume.clif
  9. +9 −0 ontologies/size/volume.clif
  10. +10 −0 ontologies/subgraph/bijection_graph.clif
  11. +10 −0 ontologies/subgraph/collinear_comparable.clif
  12. +10 −0 ontologies/subgraph/collinear_incomparable.clif
  13. +10 −0 ontologies/subgraph/functional_graph.clif
  14. +10 −0 ontologies/subgraph/graph_complement.clif
  15. +10 −0 ontologies/subgraph/graph_egamorph.clif
  16. +10 −0 ontologies/subgraph/graph_embedding.clif
  17. +10 −0 ontologies/subgraph/graph_hom.clif
  18. +10 −0 ontologies/subgraph/graph_isomorphism.clif
  19. +10 −0 ontologies/subgraph/graph_mono.clif
  20. +10 −0 ontologies/subgraph/graph_reflect.clif
  21. +10 −0 ontologies/subgraph/half_strong.clif
  22. +10 −0 ontologies/subgraph/injection_graph.clif
  23. +10 −0 ontologies/subgraph/inverse_graph.clif
  24. +10 −0 ontologies/subgraph/inverse_graph_hom.clif
  25. +10 −0 ontologies/subgraph/locally_strong.clif
  26. +10 −0 ontologies/subgraph/loop_graph_hom.clif
  27. +10 −0 ontologies/subgraph/mapping_graph.clif
  28. +10 −0 ontologies/subgraph/mirror_graph.clif
  29. +10 −0 ontologies/subgraph/mirror_hom.clif
  30. +10 −0 ontologies/subgraph/partial_mirror_hom.clif
  31. +10 −0 ontologies/subgraph/partial_simple_hom.clif
  32. +10 −0 ontologies/subgraph/preserve_graph.clif
  33. +10 −0 ontologies/subgraph/quasi_strong.clif
  34. +10 −0 ontologies/subgraph/simple_hom.clif
  35. +10 −0 ontologies/subgraph/subgraph_root.clif
  36. +9 −0 ontologies/subposet/cem_strong_ideal_discrete_partial.clif
  37. +9 −0 ontologies/subposet/chain_antichain.clif
  38. +9 −0 ontologies/subposet/convex_subposet.clif
  39. +9 −0 ontologies/subposet/discrete_subposet_semiboolean.clif
  40. +9 −0 ontologies/subposet/discrete_uplp_dense_weak_separative.clif
  41. +9 −0 ontologies/subposet/dominating.clif
  42. +9 −0 ontologies/subposet/filter.clif
  43. +9 −0 ontologies/subposet/ideal.clif
  44. +9 −0 ontologies/subposet/lower_preserve.clif
  45. +9 −0 ontologies/subposet/lower_reflect.clif
  46. +9 −0 ontologies/subposet/lower_reverse.clif
  47. +9 −0 ontologies/subposet/lower_set.clif
  48. +9 −0 ontologies/subposet/partial_subposet.clif
  49. +9 −0 ontologies/subposet/prod_mereology_uplr_partial.clif
  50. +9 −0 ontologies/subposet/prod_uplr.clif
  51. +9 −0 ontologies/subposet/strong_filter.clif
  52. +9 −0 ontologies/subposet/strong_ideal.clif
  53. +9 −0 ontologies/subposet/strong_lower_discrete_forest.clif
  54. +9 −0 ontologies/subposet/strong_lower_set.clif
  55. +9 −0 ontologies/subposet/strong_subposet.clif
  56. +9 −0 ontologies/subposet/strong_upper_set.clif
  57. +9 −0 ontologies/subposet/subposet.clif
  58. +9 −0 ontologies/subposet/subposet_root.clif
  59. +9 −0 ontologies/subposet/tree_mm_subposet_dense_weak_separative.clif
  60. +9 −0 ontologies/subposet/uplp.clif
  61. +9 −0 ontologies/subposet/uplr.clif
  62. +9 −0 ontologies/subposet/upper_preserve.clif
  63. +9 −0 ontologies/subposet/upper_reflect.clif
  64. +9 −0 ontologies/subposet/upper_reverse.clif
  65. +9 −0 ontologies/subposet/upper_set.clif
  66. +9 −0 ontologies/subposet_bundle/lower_reflect_bundle.clif
  67. +9 −0 ontologies/subposet_bundle/sub_bundle.clif
  68. +9 −0 ontologies/subposet_foliation/cem_lower_reflect_down_foliation.clif
  69. +9 −0 ontologies/subposet_foliation/downward_subposet_foliation.clif
  70. +9 −0 ontologies/subposet_foliation/ideal_cem_lower_reflect_down_foliation.clif
  71. +9 −0 ontologies/subposet_foliation/lower_reflect_down_foliation.clif
  72. +9 −0 ontologies/subposet_foliation/lower_reflect_foliation.clif
  73. +9 −0 ontologies/subposet_foliation/partial_lower_reflect_down_foliation.clif
  74. +9 −0 ontologies/subposet_foliation/sub_foliation.clif
  75. +9 −0 ontologies/subposet_foliation/upward_subposet_foliation.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/size/area.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/size/definitions/physical_area.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/size/definitions/physical_length.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/size/definitions/physical_volume.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/size/length.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/size/spatial_area.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/size/spatial_length.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/size/spatial_volume.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/size/volume.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/subgraph/bijection_graph.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/collinear_comparable.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/collinear_incomparable.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/functional_graph.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/graph_hom.clif

(cl-imports http://colore.oor.net/subgraph/mapping_graph.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/subgraph/graph_egamorph.clif

(cl-imports http://colore.oor.net/subgraph/mapping_graph.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/subgraph/graph_embedding.clif

(cl-imports http://colore.oor.net/subgraph/graph_hom.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/subgraph/graph_hom.clif

(cl-imports http://colore.oor.net/subgraph/preserve_graph.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/subgraph/graph_isomorphism.clif

(cl-imports http://colore.oor.net/subgraph/graph_embedding.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/subgraph/graph_mono.clif

(cl-imports http://colore.oor.net/subgraph/graph_hom.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/subgraph/graph_reflect.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/half_strong.clif

(cl-imports http://colore.oor.net/subgraph/graph_hom.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/subgraph/injection_graph.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/inverse_graph.clif

(cl-imports http://colore.oor.net/subgraph/graph_reflect.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/subgraph/inverse_graph_hom.clif

(cl-imports http://colore.oor.net/subgraph/graph_hom.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/subgraph/locally_strong.clif

(cl-imports http://colore.oor.net/subgraph/graph_hom.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/subgraph/loop_graph_hom.clif

(cl-imports http://colore.oor.net/graphs/graph_loops.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/subgraph/mapping_graph.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/mirror_graph.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_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/subgraph/partial_mirror_hom.clif

(cl-imports http://colore.oor.net/subgraph/functional_graph.clif)
Oops, something went wrong.

0 comments on commit ab50f20

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