Permalink
Browse files

fixing more typos

  • Loading branch information...
michael.gruninger
michael.gruninger committed Feb 5, 2014
1 parent e4fa8c6 commit 91cd8e13f90d7153e8f807abc2456660c3fcc92c
@@ -169,7 +169,7 @@
(cl-comment "Process Completion Rules")
(cl-comment "WHEN (ES(EF1) = end_stat_x AND ES(EF2) = end_stat_y) DO FINISH")
(cl-comment "use leaf node to represent the end of a process/occurrence tree")
(cl-comment "if EF(f) is leaf node, then it must mean EF1 and EF2 reached their specific end states o3 and o4, respectively"...?)
(cl-comment "if EF(f) is leaf node, then it must mean EF1 and EF2 reached their specific end states o3 and o4, respectively...?")
(forall (s a o1 o2 f)
(if (and (leaf_occ o2 o1)
(occurrence_of o2 (enterprise_function f)))
@@ -209,4 +209,4 @@
(precedes o1 o3)
(precedes o1 o4)))))
)
)
@@ -3,7 +3,7 @@
(cl-imports http://colore.oor.net/magma/quasigroup.clif)
(cl-imports http://colore.oor.net/magma/definitions/magma_def.clif)
(cl-imports http://colore.oor.net/magma/definitions/magma_defs.clif)
(forall (x)
(exists (y z)
@@ -13,11 +13,9 @@
(cl-comment "Con: Connection axiom (connection of an entity with its complement)")
(forall (x)
(if
(and
(if (and
(not (= x zero))
(not (= x one)))
)
(exists (y)
(and
(complement x y)
@@ -27,4 +25,4 @@
)
)
)
)
@@ -14,7 +14,7 @@
(cl-imports http://colore.oor.net/contact_algebras/boolean_contact_algebra.clif)
(cl-imports http://colore.oor.net/contact_algebras/atomless_boolean_lattice.clif)
(cl-imports http://colore.oor.net/lattices/atomless_boolean_lattice.clif)
)
@@ -14,7 +14,7 @@
(cl-imports http://colore.oor.net/contact_algebras/distributive_contact_algebra.clif)
(cl-imports http://colore.oor.net/contact_algebras/pseudo_complemented_lattice.clif)
(cl-imports http://colore.oor.net/lattices/pseudo_complemented_lattice.clif)
)
@@ -1,14 +1,7 @@
(cl-text http://colore.oor.net/lattices/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 3.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/3.0/legalcode.
*
* Contributors:
* Torsten Hahmann - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/lattices/Atom
(cl-comment " Contributors: Torsten Hahmann - initial implementation")
(cl-text http://colore.oor.net/lattices/Atom.clif
(exists (x)
(and
@@ -23,4 +16,4 @@
)
)
)
)
@@ -14,7 +14,7 @@
(cl-imports http://colore.oor.net/mereotopology/rcc.clif)
(cl-imports http://colore.oor.net/mereotopology/region_boolean_contact_algebra.clif)
(cl-imports http://colore.oor.net/contact_algebras/region_boolean_contact_algebra.clif)
(forall (x y)
(iff
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/ontologies/ordered_algebra/ordered_vectorspace.clif
(cl-text http://colore.oor.net/ordered_algebra/ordered_vectorspace.clif
(cl-imports http://colore.oor.net/ontologies/algebra/vectorspace.clif)
(cl-imports http://colore.oor.net/algebra/vectorspace.clif)
(forall (x y z)
(iff (lesser x y)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/subposet/prod_uplr.clif
(cl-imports http://colore.oor.net/subposet/prod_mereology.clif)
(cl-imports http://colore.oor.net/mereology/prod_mereology.clif)
(cl-imports http://colore.oor.net/subposet/uplr.clif)
@@ -3,6 +3,6 @@
(cl-imports http://colore.oor.net/subposet/strong_lower_set.clif)
(cl-imports http://colore.oor.net/ordering/discrete_forest.clif)
(cl-imports http://colore.oor.net/orderings/discrete_forest.clif)
)

0 comments on commit 91cd8e1

Please sign in to comment.