fixing more typos

gruninger · Feb 4, 2014 · 3505bd6 · 3505bd6
1 parent 7d2223e
commit 3505bd6
Show file tree

Hide file tree

Showing 11 changed files with 73 additions and 73 deletions.
diff --git a/ontologies/betweenness_bundle/b_bundle.clif b/ontologies/betweenness_bundle/b_bundle.clif
@@ -1,7 +1,7 @@
 
 (cl-text http://colore.oor.net/betweenness_bundle/b_bundle.clif
 
-(cl-imports http://colore.oor.net/torsten-phd/btw/btw_root.clif)
+(cl-imports http://colore.oor.net/between_quaternary/btw_root.clif)
 
 (cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite.clif)
 

diff --git a/ontologies/betweenness_bundle/convex_b_bundle.clif b/ontologies/betweenness_bundle/convex_b_bundle.clif
@@ -3,6 +3,6 @@
 
 (cl-imports http://colore.oor.net/betweenness_bundle/b_bundle.clif)
 
-(cl-imports http://colore.oor.net/torsten-phd/btw/btw_convex.clif)
+(cl-imports http://colore.oor.net/between_quaternary/btw_convex.clif)
 
 )
diff --git a/ontologies/betweenness_bundle/linear_b_bundle.clif b/ontologies/betweenness_bundle/linear_b_bundle.clif
@@ -3,6 +3,6 @@
 
 (cl-imports http://colore.oor.net/betweenness_bundle/b_bundle.clif)
 
-(cl-imports http://colore.oor.net/torsten-phd/btw/btw_linear.clif)
+(cl-imports http://colore.oor.net/between_quaternary/btw_linear.clif)
 
 )
diff --git a/ontologies/betweenness_bundle/semilinear_b_bundle.clif b/ontologies/betweenness_bundle/semilinear_b_bundle.clif
@@ -3,6 +3,6 @@
 
 (cl-imports http://colore.oor.net/betweenness_bundle/b_bundle.clif)
 
-(cl-imports http://colore.oor.net/torsten-phd/btw/btw_semilinear.clif)
+(cl-imports http://colore.oor.net/between_quaternary/btw_semilinear.clif)
 
 )
diff --git a/ontologies/boxworld/boxworld_part.clif b/ontologies/boxworld/boxworld_part.clif
@@ -1,7 +1,7 @@
 
 (cl-text http://colore.oor.net/boxworld/boxworld_part.clif
 
-(cl-imports http://colore.oor.net/boxworld/cardworld_part.clif)
+(cl-imports http://colore.oor.net/cardworld/cardworld_part.clif)
 
 (forall (x)
         (if     (or (point x) (edge x) (surface x))

diff --git a/ontologies/dolce/dolce_hets_tptp.clif b/ontologies/dolce/dolce_hets_tptp.clif
@@ -1164,7 +1164,7 @@
 (cl-comment "Source: Oliver Kutz, Till Mossakowski: A Modular Consistency Proof for DOLCE. AAAI 2011.")
 (cl-comment "reflexivity_33")
 (forall (x)
-	(and (p_2_pp x x)(PD x))
+	(if (PD x) (p_2_pp x x)))
 
 
 (cl-comment "Source: Oliver Kutz, Till Mossakowski: A Modular Consistency Proof for DOLCE. AAAI 2011.")
@@ -1179,4 +1179,4 @@
 	(if (and (p_2_pp x y)(p_2_pp y z)(PD x)(PD y)(PD z))
 		(p_2_pp x z)))
 
-)
+)
diff --git a/ontologies/dolce_time_mereology/dolce_time_mereology.clif b/ontologies/dolce_time_mereology/dolce_time_mereology.clif
@@ -14,7 +14,7 @@
 (cl-comment "The DOLCE time mereology is based off the original DOLCE mereology - argument restrictions (time intervals) have been placed on the sorts.")
 
 (cl-comment "Import the DOLCE taxonomy.")
-(cl-imports http://colore.oor.net/dolce/dolce_taxonomy.clif)
+(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy.clif)
 
 (cl-comment "Argument Restrictions")
 
@@ -146,4 +146,4 @@
 					(iff (O w z)
 						(or	(O w x)(O w y))))))))
 
-)
+)
diff --git a/ontologies/ordered_magma/linear_ordered_group.clif b/ontologies/ordered_magma/linear_ordered_group.clif
@@ -1,9 +1,9 @@
 
-(cl-text http://colore.oor.net/ontologies/ordered_magma/linear_ordered_group
+(cl-text http://colore.oor.net/ordered_magma/linear_ordered_group.clif
 
-(cl-imports http://colore.oor.net/ontologies/orderings/linear_ordering)
+(cl-imports http://colore.oor.net/orderings/linear_ordering.clif)
 
-(cl-imports http://colore.oor.net/ontologies/magma/group)
+(cl-imports http://colore.oor.net/magma/group.clif)
 
 (forall (x y z)
 	(if	(leq x y)