appended .clif extension to URIs

gruninger · May 29, 2013 · b1e4ff9 · b1e4ff9
1 parent 42edfab
commit b1e4ff9
Show file tree

Hide file tree

Showing 64 changed files with 147 additions and 143 deletions.
diff --git a/ontologies/boxworld/boxworld.clif b/ontologies/boxworld/boxworld.clif
@@ -1,9 +1,9 @@
 
-(cl-text http://colore.oor.net/boxworld/boxworld
+(cl-text http://colore.oor.net/boxworld/boxworld.clif
 
-(cl-imports http://colore.oor.net/boxworld/boxworld_border)
-(cl-imports http://colore.oor.net/boxworld/boxworld_peak)
-(cl-imports http://colore.oor.net/boxworld/boxworld_surface)
+(cl-imports http://colore.oor.net/boxworld/boxworld_border.clif)
+(cl-imports http://colore.oor.net/boxworld/boxworld_peak.clif)
+(cl-imports http://colore.oor.net/boxworld/boxworld_surface.clif)
 
 (forall (x)
         (or     (point x) (edge x) (surface x) (box x)))

diff --git a/ontologies/boxworld/boxworld_border.clif b/ontologies/boxworld/boxworld_border.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/boxworld/boxworld_border
+(cl-text http://colore.oor.net/boxworld/boxworld_border.clif
 
-(cl-imports http://colore.oor.net/boxworld/boxworld_edge)
+(cl-imports http://colore.oor.net/boxworld/boxworld_edge.clif)
 
 (forall (e1 e2 e3)
         (if     (bbetween e1 e2 e3) (bbetween e2 e3 e1)))

diff --git a/ontologies/boxworld/boxworld_edge.clif b/ontologies/boxworld/boxworld_edge.clif
@@ -1,8 +1,9 @@
 
-(cl-text http://colore.oor.net/boxworld/boxworld_edge
+(cl-text http://colore.oor.net/boxworld/boxworld_edge.clif
 
-(cl-imports http://colore.oor.net/boxworld/boxworld_part)
-(cl-imports http://colore.oor.net/boxworld/cardworld_edge)
+(cl-imports http://colore.oor.net/boxworld/boxworld_part.clif)
+
+(cl-imports http://colore.oor.net/boxworld/cardworld_edge.clif)
 
 (cl-comment "An edge is part of at most two surfaces.")
 (forall (e s1 s2 s3)

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
+(cl-text http://colore.oor.net/boxworld/boxworld_part.clif
 
-(cl-imports http://colore.oor.net/boxworld/cardworld_part)
+(cl-imports http://colore.oor.net/boxworld/cardworld_part.clif)
 
 (forall (x)
         (if     (or (point x) (edge x) (surface x))

diff --git a/ontologies/boxworld/boxworld_peak.clif b/ontologies/boxworld/boxworld_peak.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/boxworld/boxworld_peak
+(cl-text http://colore.oor.net/boxworld/boxworld_peak.clif
 
-(cl-imports http://colore.oor.net/boxworld/boxworld_edge)
+(cl-imports http://colore.oor.net/boxworld/boxworld_edge.clif)
 
 (forall (e1 e2 e3)
         (if     (rbetween e1 e2 e3) (rbetween e2 e3 e1)))

diff --git a/ontologies/boxworld/boxworld_surface.clif b/ontologies/boxworld/boxworld_surface.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/boxworld/boxworld_surface
+(cl-text http://colore.oor.net/boxworld/boxworld_surface.clif
 
-(cl-imports http://colore.oor.net/boxworld/boxworld_edge)
+(cl-imports http://colore.oor.net/boxworld/boxworld_edge.clif)
 
 (cl-comment "Each point, edge, and surface is part of a unique box.")
 (forall (x1 x2 y)

diff --git a/ontologies/cardworld/cardword.clif b/ontologies/cardworld/cardword.clif
@@ -1,8 +1,9 @@
 
-(cl-text http://colore.oor.net/cardworld/cardworld
+(cl-text http://colore.oor.net/cardworld/cardworld.clif
 
-(cl-imports http://colore.oor.net/cardworld/cardworld_outer)
-(cl-imports http://colore.oor.net/cardworld/cardworld_surface)
+(cl-imports http://colore.oor.net/cardworld/cardworld_outer.clif)
+
+(cl-imports http://colore.oor.net/cardworld/cardworld_surface.clif)
 
 (forall (x)
         (or     (point x) (edge x) (surface x)))

diff --git a/ontologies/cardworld/cardworld_edge.clif b/ontologies/cardworld/cardworld_edge.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/cardworld/cardworld_edge
+(cl-text http://colore.oor.net/cardworld/cardworld_edge.clif
 
-(cl-imports http://colore.oor.net/cardworld/cardworld_part)
+(cl-imports http://colore.oor.net/cardworld/cardworld_part.clif)
 
 (cl-comment "Each point is part of some edge")
 (forall (p)

diff --git a/ontologies/cardworld/cardworld_outer.clif b/ontologies/cardworld/cardworld_outer.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/cardworld/cardworld_outer
+(cl-text http://colore.oor.net/cardworld/cardworld_outer.clif
 
-(cl-imports http://colore.oor.net/cardworld/cardworld_edge)
+(cl-imports http://colore.oor.net/cardworld/cardworld_edge.clif)
 
 (forall (e)
         (if     (outer e) (edge e)))

diff --git a/ontologies/cardworld/cardworld_part.clif b/ontologies/cardworld/cardworld_part.clif
@@ -1,5 +1,5 @@
 
-(cl-text http://colore.oor.net/cardworld/cardworld_part
+(cl-text http://colore.oor.net/cardworld/cardworld_part.clif
 
 (forall (x)
         (if     (point x) (and (not (edge x)) (not (surface x)))))

diff --git a/ontologies/cardworld/cardworld_surface.clif b/ontologies/cardworld/cardworld_surface.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/cardworld/cardworld_surface
+(cl-text http://colore.oor.net/cardworld/cardworld_surface.clif
 
-(cl-imports http://colore.oor.net/cardworld/cardworld_edge)
+(cl-imports http://colore.oor.net/cardworld/cardworld_edge.clif)
 
 (cl-comment "Each point and edge are part of a unique surface.")
 (forall (x s1 s2)

diff --git a/ontologies/cayley_graph/cayley_graph_root.clif b/ontologies/cayley_graph/cayley_graph_root.clif
@@ -1,9 +1,9 @@
 
-(cl-text http://colore.oor.net/cayley_graph/cayley_graph_root
+(cl-text http://colore.oor.net/cayley_graph/cayley_graph_root.clif
 
-(cl-imports http://colore.oor.net/graphs/simple_graph)
+(cl-imports http://colore.oor.net/graphs/simple_graph.clif)
 
-(cl-imports http://colore.oor.net/combinatorial_magma/free_semigroup)
+(cl-imports http://colore.oor.net/combinatorial_magma/free_semigroup.clif)
 
 (forall (y x)
 	(if	(generator y)

diff --git a/ontologies/combinatorial_magma/free_semigroup.clif b/ontologies/combinatorial_magma/free_semigroup.clif
@@ -1,5 +1,5 @@
 
-(cl-text http://colore.oor.net/combinatorial_magma/free_semigroup
+(cl-text http://colore.oor.net/combinatorial_magma/free_semigroup.clif
 
 (forall (x y z)
 	(= (op x (op y z)) (op (op x y) z)))

diff --git a/ontologies/combinatorial_magma/free_semigroup_def.clif b/ontologies/combinatorial_magma/free_semigroup_def.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combinatorial_magma/free_semigroup_def
+(cl-text http://colore.oor.net/combinatorial_magma/free_semigroup_def.clif
 
-(cl-imports http://colore.oor.net/combinatorial_magma/free_semigroup)
+(cl-imports http://colore.oor.net/combinatorial_magma/free_semigroup.clif)
 
 (forall (x y)
 	(iff	(subword x y)

diff --git a/ontologies/combined_time/back_continuum.clif b/ontologies/combined_time/back_continuum.clif
@@ -1,8 +1,8 @@
 
-(cl-text http://colore.oor.net/combined_time/back-continuum
+(cl-text http://colore.oor.net/combined_time/back-continuum.clif
 
-(cl-imports http://colore.oor.net/combined_time/backwards)
+(cl-imports http://colore.oor.net/combined_time/backwards.clif)
 
-(cl-imports http://colore.oor.net/combined_time/no_moment)
+(cl-imports http://colore.oor.net/combined_time/no_moment.clif)
 
 )
diff --git a/ontologies/combined_time/backwards.clif b/ontologies/combined_time/backwards.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/backwards
+(cl-text http://colore.oor.net/combined_time/backwards.clif
 
-(cl-imports http://colore.oor.net/combined_time/sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/sim_vc_end.clif)
 
 (forall (i1)
 	(if	(timeinterval i1)

diff --git a/ontologies/combined_time/combined_time_def.clif b/ontologies/combined_time/combined_time_def.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/combined_time_def
+(cl-text http://colore.oor.net/combined_time/combined_time_def.clif
 
-(cl-imports http://colore.oor.net/combined_time/sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/sim_vc_end.clif)
 
 (forall (i j k)
         (iff    (plus i j k)

diff --git a/ontologies/combined_time/endpoints.clif b/ontologies/combined_time/endpoints.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/endpoints
+(cl-text http://colore.oor.net/combined_time/endpoints.clif
 
-(cl-imports http://colore.oor.net/timepoints/linear_point)
+(cl-imports http://colore.oor.net/timepoints/linear_point.clif)
 
 (forall (x)
         (iff    (timepoint x)

diff --git a/ontologies/combined_time/endpoints_lemmas.clif b/ontologies/combined_time/endpoints_lemmas.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/endpoints_lemmas
+(cl-text http://colore.oor.net/combined_time/endpoints_lemmas.clif
 
-(cl-imports http://colore.oor.net/combined_time/endpoints)
+(cl-imports http://colore.oor.net/combined_time/endpoints.clif)
 
 (cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex213-1")
 (forall (l)

diff --git a/ontologies/combined_time/finite_backwards.clif b/ontologies/combined_time/finite_backwards.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_backwards
+(cl-text http://colore.oor.net/combined_time/finite_backwards.clif
 
-(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end.clif)
 
 (forall (i1)
 	(if	(timeinterval i1)

diff --git a/ontologies/combined_time/finite_endpoints.clif b/ontologies/combined_time/finite_endpoints.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_endpoints
+(cl-text http://colore.oor.net/combined_time/finite_endpoints.clif
 
-(cl-imports http://colore.oor.net/combined_time/lp_ordering)
+(cl-imports http://colore.oor.net/combined_time/lp_ordering.clif)
 
 (forall (x)
         (iff    (timepoint x)

diff --git a/ontologies/combined_time/finite_mo_endpoints.clif b/ontologies/combined_time/finite_mo_endpoints.clif
@@ -1,8 +1,8 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_mo_endpoints
+(cl-text http://colore.oor.net/combined_time/finite_mo_endpoints.clif
 
-(cl-imports http://colore.oor.net/combined_time/finite_no_backwards)
+(cl-imports http://colore.oor.net/combined_time/finite_no_backwards.clif)
 
-(cl-imports http://colore.oor.net/combined_time/finite_moment)
+(cl-imports http://colore.oor.net/combined_time/finite_moment.clif)
 
 )
diff --git a/ontologies/combined_time/finite_moment.clif b/ontologies/combined_time/finite_moment.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_moment
+(cl-text http://colore.oor.net/combined_time/finite_moment.clif
 
-(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end.clif)
 
 (forall (t)
 	(if	(timepoint t)

diff --git a/ontologies/combined_time/finite_no_backwards.clif b/ontologies/combined_time/finite_no_backwards.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_no_backwards
+(cl-text http://colore.oor.net/combined_time/finite_no_backwards.clif
 
-(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end.clif)
 
 (forall (i1)
 	(if	(timeinterval i1)

diff --git a/ontologies/combined_time/finite_no_moment.clif b/ontologies/combined_time/finite_no_moment.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_no_moment
+(cl-text http://colore.oor.net/combined_time/finite_no_moment.clif
 
-(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end.clif)
 
 (forall (t)
 	(if	(timepoint t)

diff --git a/ontologies/combined_time/finite_sim_vc_end.clif b/ontologies/combined_time/finite_sim_vc_end.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_sim_vc_end
+(cl-text http://colore.oor.net/combined_time/finite_sim_vc_end.clif
 
-(cl-imports http://colore.oor.net/combined_time/lp_ordering)
+(cl-imports http://colore.oor.net/combined_time/lp_ordering.clif)
 
 (forall (x)
 	(iff	(timepoint x)

diff --git a/ontologies/combined_time/finite_vc.clif b/ontologies/combined_time/finite_vc.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/finite_vc
+(cl-text http://colore.oor.net/combined_time/finite_vc.clif
 
-(cl-imports http://colore.oor.net/combined_time/lp_ordering)
+(cl-imports http://colore.oor.net/combined_time/lp_ordering.clif)
 
 (forall (x)
 	(iff	(timepoint x)

diff --git a/ontologies/combined_time/hayes_endpoints.clif b/ontologies/combined_time/hayes_endpoints.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/hayes_endpoints
+(cl-text http://colore.oor.net/combined_time/hayes_endpoints.clif
 
-(cl-imports http://colore.oor.net/timepoints/linear_point)
+(cl-imports http://colore.oor.net/timepoints/linear_point.clif)
 
 (forall (i)
 	(if	(timeinterval i) 

diff --git a/ontologies/combined_time/hayes_vector_continuum.clif b/ontologies/combined_time/hayes_vector_continuum.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/hayes_vector_continuum
+(cl-text http://colore.oor.net/combined_time/hayes_vector_continuum.clif
 
-(cl-imports http://colore.oor.net/timepoints/linear_point)
+(cl-imports http://colore.oor.net/timepoints/linear_point.clif)
 
 (forall (i)
 	(if	(timeinterval i) 

diff --git a/ontologies/combined_time/interval_with_endpoints.clif b/ontologies/combined_time/interval_with_endpoints.clif
@@ -8,11 +8,11 @@
  *    Michael Gruninger, Carmen Chui
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/combined_time/interval_with_endpoints
+(cl-text http://colore.oor.net/combined_time/interval_with_endpoints.clif
 
-(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end.clif)
 
 (cl-comment "Imports the lp_infinite_end theory.")
-(cl-imports http://colore.oor.net/timeponts/lp_infinite_end)
+(cl-imports http://colore.oor.net/timeponts/lp_infinite_end.clif)
 
 )
diff --git a/ontologies/combined_time/mo_continuum.clif b/ontologies/combined_time/mo_continuum.clif
@@ -1,8 +1,8 @@
 
-(cl-text http://colore.oor.net/combined_time/mo_continuum
+(cl-text http://colore.oor.net/combined_time/mo_continuum.clif
 
-(cl-imports http://colore.oor.net/combined_time/no_moment)
+(cl-imports http://colore.oor.net/combined_time/no_moment.clif)
 
-(cl-imports http://colore.oor.net/combined_time/backwards)
+(cl-imports http://colore.oor.net/combined_time/backwards.clif)
 
 )
diff --git a/ontologies/combined_time/mo_endpoints.clif b/ontologies/combined_time/mo_endpoints.clif
@@ -1,8 +1,8 @@
 
-(cl-text http://colore.oor.net/combined_time/mo_endpoints
+(cl-text http://colore.oor.net/combined_time/mo_endpoints.clif
 
-(cl-imports http://colore.oor.net/combined_time/no_backwards)
+(cl-imports http://colore.oor.net/combined_time/no_backwards.clif)
 
-(cl-imports http://colore.oor.net/combined_time/moment)
+(cl-imports http://colore.oor.net/combined_time/moment.clif)
 
 )
diff --git a/ontologies/combined_time/moment.clif b/ontologies/combined_time/moment.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/moment
+(cl-text http://colore.oor.net/combined_time/moment.clif
 
-(cl-imports http://colore.oor.net/combined_time/sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/sim_vc_end.clif)
 
 (forall (t)
 	(if	(timepoint t)

diff --git a/ontologies/combined_time/moment_with_endpoints.clif b/ontologies/combined_time/moment_with_endpoints.clif
@@ -8,12 +8,12 @@
  *    Michael Gruninger, Carmen Chui
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/combined_time/moment_with_endpoints
+(cl-text http://colore.oor.net/combined_time/moment_with_endpoints.clif
 
 (cl-comment "Imports the interval with endpoints theory.")
-(cl-imports http://colore.oor.net/combined_time/interval_with_endpoints)
+(cl-imports http://colore.oor.net/combined_time/interval_with_endpoints.clif)
 
 (cl-comment "Imports the moment theory.")
-(cl-imports http://colore.oor.net/combined_time/finite_moment)
+(cl-imports http://colore.oor.net/combined_time/finite_moment.clif)
 
 )
diff --git a/ontologies/combined_time/no_backwards.clif b/ontologies/combined_time/no_backwards.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/no_backwards
+(cl-text http://colore.oor.net/combined_time/no_backwards.clif
 
-(cl-imports http://colore.oor.net/combined_time/sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/sim_vc_end.clif)
 
 (forall (i1)
 	(if	(timeinterval i1)

diff --git a/ontologies/combined_time/no_moment.clif b/ontologies/combined_time/no_moment.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/no_moment
+(cl-text http://colore.oor.net/combined_time/no_moment.clif
 
-(cl-imports http://colore.oor.net/combined_time/sim_vc_end)
+(cl-imports http://colore.oor.net/combined_time/sim_vc_end.clif)
 
 (forall (t)
 	(if	(timepoint t)

diff --git a/ontologies/combined_time/sim_vc_end.clif b/ontologies/combined_time/sim_vc_end.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/combined_time/sim_vc_end
+(cl-text http://colore.oor.net/combined_time/sim_vc_end.clif
 
-(cl-imports http://colore.oor.net/timepoints/linear_point)
+(cl-imports http://colore.oor.net/timepoints/linear_point.clif)
 
 (forall (x)
 	(iff	(timepoint x)