Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent b4edfc2 commit d30e0a181908b26482c77c9f7dd2b7c0f902ebee
Showing with 390 additions and 0 deletions.
  1. +10 −0 ontologies/orderings/bottomless.clif
  2. +10 −0 ontologies/orderings/definitions/atom.clif
  3. +10 −0 ontologies/orderings/definitions/bottom.clif
  4. +10 −0 ontologies/orderings/definitions/coatom.clif
  5. +10 −0 ontologies/orderings/definitions/comp.clif
  6. +10 −0 ontologies/orderings/definitions/compatible.clif
  7. +10 −0 ontologies/orderings/definitions/covers.clif
  8. +10 −0 ontologies/orderings/definitions/dhm.clif
  9. +10 −0 ontologies/orderings/definitions/dhm3.clif
  10. +10 −0 ontologies/orderings/definitions/disjoint.clif
  11. +10 −0 ontologies/orderings/definitions/glb.clif
  12. +10 −0 ontologies/orderings/definitions/incomparable.clif
  13. +10 −0 ontologies/orderings/definitions/lt.clif
  14. +10 −0 ontologies/orderings/definitions/lt_equiv.clif
  15. +10 −0 ontologies/orderings/definitions/lub.clif
  16. +10 −0 ontologies/orderings/definitions/maximal.clif
  17. +10 −0 ontologies/orderings/definitions/minimal.clif
  18. +10 −0 ontologies/orderings/definitions/orderings_def.clif
  19. +10 −0 ontologies/orderings/definitions/strong_atom.clif
  20. +10 −0 ontologies/orderings/definitions/strong_coatom.clif
  21. +10 −0 ontologies/orderings/definitions/tarski_defs.clif
  22. +10 −0 ontologies/orderings/definitions/top.clif
  23. +10 −0 ontologies/orderings/min_discrete.clif
  24. +10 −0 ontologies/orderings/quasiorder.clif
  25. +10 −0 ontologies/orderings/topless.clif
  26. +10 −0 ontologies/owltime/owltime.clif
  27. +10 −0 ontologies/owltime/owltime_hp.clif
  28. +10 −0 ontologies/owltime/owltime_ordering_trans.clif
  29. +10 −0 ontologies/owltime_eventuality/eventuality.clif
  30. +10 −0 ontologies/owltime_eventuality/eventuality_a.clif
  31. +10 −0 ontologies/owltime_inside/owltime_inside.clif
  32. +10 −0 ontologies/owltime_inside/owltime_inside_le.clif
  33. +10 −0 ontologies/owltime_inside/owltime_inside_leu.clif
  34. +10 −0 ontologies/owltime_inside/owltime_inside_o.clif
  35. +10 −0 ontologies/owltime_inside/owltime_inside_se.clif
  36. +10 −0 ontologies/owltime_instants/owltime_instant_l.clif
  37. +10 −0 ontologies/owltime_instants/owltime_instant_s.clif
  38. +10 −0 ontologies/owltime_instants/owltime_instants.clif
  39. +10 −0 ontologies/owltime_instants/owltime_instants_infinite.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/orderings/bottomless.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/orderings/definitions/atom.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/orderings/definitions/bottom.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/orderings/definitions/coatom.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/orderings/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/orderings/definitions/compatible.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/orderings/definitions/coverst.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/orderings/definitions/dhm.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/orderings/definitions/dhm3.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/orderings/definitions/disjoint.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/orderings/definitions/glb.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/orderings/definitions/incomparable.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/orderings/definitions/lt.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/orderings/definitions/lt_equiv.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/orderings/definitions/lub.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/orderings/definitions/maximal.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/orderings/definitions/minimal.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/orderings/definitions/orderings_def.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/orderings/definitions/strong_atom.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/orderings/definitions/strong_coatom.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/orderings/definitions/tarski_defs.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/orderings/definitions/top.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/orderings/min_discrete.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/orderings/quasiorder.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/orderings/topless.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/owltime.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/owltime_hp.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/owltime_ordering_trans.clif

Oops, something went wrong.

0 comments on commit d30e0a1

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