Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent ab50f20 commit db6226457d600efb1a901cb7d6b795ed41fc0ff2
Showing with 394 additions and 42 deletions.
  1. +13 −3 ontologies/rcc_continuous_process/continuous.clif
  2. +12 −2 ontologies/rcc_continuous_process/definitions/rcc_process.clif
  3. +12 −2 ontologies/rcc_continuous_process/rcc_continuous_process.clif
  4. +12 −2 ontologies/rcc_continuous_process/rcc_state.clif
  5. +12 −2 ontologies/rcc_continuous_process/theorems/DC_neighbors.clif
  6. +12 −2 ontologies/rcc_continuous_process/theorems/DC_non_neighbors.clif
  7. +12 −2 ontologies/rcc_continuous_process/theorems/EC_neighbors.clif
  8. +12 −2 ontologies/rcc_continuous_process/theorems/EC_non_neighbors.clif
  9. +12 −2 ontologies/rcc_continuous_process/theorems/EQ_neighbors.clif
  10. +12 −2 ontologies/rcc_continuous_process/theorems/EQ_non_neighbors.clif
  11. +12 −2 ontologies/rcc_continuous_process/theorems/NTPP_neighbors.clif
  12. +12 −2 ontologies/rcc_continuous_process/theorems/NTPP_non_neighbors.clif
  13. +12 −2 ontologies/rcc_continuous_process/theorems/NTPPi_neighbors.clif
  14. +12 −2 ontologies/rcc_continuous_process/theorems/NTPPi_non_neighbors.clif
  15. +12 −2 ontologies/rcc_continuous_process/theorems/PO_neighbors.clif
  16. +12 −2 ontologies/rcc_continuous_process/theorems/PO_non_neighbors.clif
  17. +12 −2 ontologies/rcc_continuous_process/theorems/TPP_neighbors.clif
  18. +12 −2 ontologies/rcc_continuous_process/theorems/TPP_non_neighbors.clif
  19. +12 −2 ontologies/rcc_continuous_process/theorems/TPPi_neighbors.clif
  20. +12 −2 ontologies/rcc_continuous_process/theorems/TPPi_non_neighbors.clif
  21. +9 −0 ontologies/ringoids/boolean_ring.clif
  22. +9 −0 ontologies/ringoids/commutative_ring.clif
  23. +9 −0 ontologies/ringoids/commutative_semiring.clif
  24. +10 −0 ontologies/ringoids/division_ring.clif
  25. +10 −0 ontologies/ringoids/field.clif
  26. +9 −0 ontologies/ringoids/idempotent_semiring.clif
  27. +9 −0 ontologies/ringoids/pythagorean_field.clif
  28. +9 −0 ontologies/ringoids/ring.clif
  29. +9 −0 ontologies/ringoids/semiring.clif
  30. +10 −0 ontologies/shape/polyworld_part.clif
  31. +10 −0 ontologies/shape/polyworld_surface.clif
  32. +10 −0 ontologies/shape/shape.clif
  33. +10 −0 ontologies/shape/weak_box_border.clif
  34. +10 −1 ontologies/shape/weak_box_edge.clif
  35. +10 −0 ontologies/shape/weak_card_edge.clif
  36. +10 −0 ontologies/shape/weak_card_outer.clif
@@ -1,9 +1,19 @@
/*******************************************************************************
* 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/rcc_continuous_process/continuous.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_state.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_state.clif)


(cl-comment 'continuous.th:ax1')
(cl-comment 'continuous.th:ax1')
(forall (o x y)
(if (and (changes o (connect x y))
(or (changes o (connect x (compl y)))
@@ -53,4 +63,4 @@



)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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/rcc_continuous_process/definitions/rcc_process.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_state.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_state.clif)


(forall (o)
@@ -32,4 +42,4 @@
(exists (x y)
(changes o (connect x y)))))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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/rcc_continuous_process/rcc_continuous_process.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/continuous.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/continuous.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/definitions/rcc_process.clif)

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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/rcc_continuous_process/rcc_state.clif

(cl-imports http://colore.oor.net/psl_disc_state/disc_state.clif)
(cl-imports http://colore.oor.net/psl_disc_state/disc_state.clif)


(forall (x y o)
@@ -201,4 +211,4 @@
(prior (region (compl x)) o)))


)
)
@@ -1,10 +1,20 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/DC_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
(if (changes o (DCs x y))
(changes o (ECs x y))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/DC_non_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -12,4 +22,4 @@
(not (changes o (TPPs y x)))
(not (changes o (NTPPs y x))))))

)
)
@@ -1,11 +1,21 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/EC_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
(if (changes o (ECs x y))
(or (changes o (DCs x y))
(changes o (POs x y)))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/EC_non_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -11,4 +21,4 @@
(not (changes o (TPPs y x)))
(not (changes o (NTPPs y x))))))

)
)
@@ -1,11 +1,21 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/EQ_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
(if (changes o (EQs x y))
(or (changes o (TPPs x y))
(changes o (TPPs y x)))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/EQ_non_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -11,4 +21,4 @@
(not (changes o (NTPPs x y))
(not (changes o (NTPPs y x)))))))

)
)
@@ -1,10 +1,20 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/NTPP_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
(if (changes o (NTPPs x y))
(changes o (TPPs x y))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/NTPP_non_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -12,4 +22,4 @@
(not (changes o (TPPs y x)))
(not (changes o (NTPPs y x))))))

)
)
@@ -1,10 +1,20 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/NTPPi_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
(if (changes o (NTPPs y x))
(changes o (TPPs y x))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/NTPPi_non_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -12,4 +22,4 @@
(not (changes o (TPPs x y)))
(not (changes o (NTPPs x y))))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/PO_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -9,4 +19,4 @@
(changes o (TPPs x y))
(changes o (TPPs y x)))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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, Bahar Aameri - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/rcc_continuous_process/theorems/PO_non_neighbors.clif

(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_continuous_process.clif)


(forall (o x y)
@@ -10,4 +20,4 @@
(not (changes o (NTPPs x y)))
(not (changes o (NTPPs y x))))))

)
)
Oops, something went wrong.

0 comments on commit db62264

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