COLORE subdirectory additions phase 3, addition of .clif to URI names…

…pace
gruninger · Jun 5, 2013 · 8946701 · 8946701
1 parent b2b3517
commit 8946701
Show file tree

Hide file tree

Showing 13 changed files with 27 additions and 27 deletions.
diff --git a/ontologies/timepoints/bp_dense.clif b/ontologies/timepoints/bp_dense.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/timepoints/bp_dense
+(cl-text http://colore.oor.net/timepoints/bp_dense.clif
 
-(cl-imports http://colore.oor.net/timepoints/bp_ordering)
+(cl-imports http://colore.oor.net/timepoints/bp_ordering.clif)
 
 (forall (x y)
 	(if	(and	(timepoint x) 

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

diff --git a/ontologies/timepoints/bp_ordering.clif b/ontologies/timepoints/bp_ordering.clif
@@ -1,5 +1,5 @@
 
-(cl-text http://colore.oor.net/timepoints/bp_ordering
+(cl-text http://colore.oor.net/timepoints/bp_ordering.clif
 
 (forall (x y z)
         (if     (and    (timepoint x)

diff --git a/ontologies/timepoints/branching_point.clif b/ontologies/timepoints/branching_point.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/timepoints/branching_point
+(cl-text http://colore.oor.net/timepoints/branching_point.clif
 
-(cl-imports http://colore.oor.net/timepoints/bp_ordering)
+(cl-imports http://colore.oor.net/timepoints/bp_ordering.clif)
 
 (exists (x)
 	(and	(timepoint x)

diff --git a/ontologies/timepoints/dense_linear_point.clif b/ontologies/timepoints/dense_linear_point.clif
@@ -1,8 +1,8 @@
 
-(cl-text http://colore.oor.net/timepoints/dense_linear_point
+(cl-text http://colore.oor.net/timepoints/dense_linear_point.clif
 
-(cl-imports http://colore.oor.net/timepoints/linear_point)
+(cl-imports http://colore.oor.net/timepoints/linear_point.clif)
 
-(cl-imports lp_dense)
+(cl-imports lp_dense.clif)
 
 )
diff --git a/ontologies/timepoints/discrete_linear_point.clif b/ontologies/timepoints/discrete_linear_point.clif
@@ -1,9 +1,9 @@
 
-(cl-text http://colore.oor.net/timepoints/discrete_linear_point
+(cl-text http://colore.oor.net/timepoints/discrete_linear_point.clif
 
-(cl-imports http://colore.oor.net/timepoints/linear_point)
+(cl-imports http://colore.oor.net/timepoints/linear_point.clif)
 
-(cl-imports lp_discrete)
+(cl-imports lp_discrete.clif)
 
 )
 
diff --git a/ontologies/timepoints/linear_point.clif b/ontologies/timepoints/linear_point.clif
@@ -1,8 +1,8 @@
 
-(cl-text http://colore.oor.net/timepoints/linear_point
+(cl-text http://colore.oor.net/timepoints/linear_point.clif
 
-(cl-imports http://colore.oor.net/timepoints/lp_infinite_future)
+(cl-imports http://colore.oor.net/timepoints/lp_infinite_future.clif)
 
-(cl-imports http://colore.oor.net/timepoints/lp_infinite_past)
+(cl-imports http://colore.oor.net/timepoints/lp_infinite_past.clif)
 
 )
diff --git a/ontologies/timepoints/lp_dense.clif b/ontologies/timepoints/lp_dense.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/timepoints/lp_dense
+(cl-text http://colore.oor.net/timepoints/lp_dense.clif
 
-(cl-imports http://colore.oor.net/timepoints/lp_ordering)
+(cl-imports http://colore.oor.net/timepoints/lp_ordering.clif)
 
 (forall (x y)
 	(if	(and	(timepoint x) 

diff --git a/ontologies/timepoints/lp_discrete.clif b/ontologies/timepoints/lp_discrete.clif
@@ -1,6 +1,6 @@
-(cl-text http://colore.oor.net/timepoints/lp_discrete
+(cl-text http://colore.oor.net/timepoints/lp_discrete.clif
 
-(cl-imports http://colore.oor.net/timepoints/lp_ordering)
+(cl-imports http://colore.oor.net/timepoints/lp_ordering.clif)
 
 (forall (x)
 	(if	

diff --git a/ontologies/timepoints/lp_infinite_end.clif b/ontologies/timepoints/lp_infinite_end.clif
@@ -1,7 +1,7 @@
 
-(cl-text http://colore.oor.net/timepoints/lp_infinite_end
+(cl-text http://colore.oor.net/timepoints/lp_infinite_end.clif
 
-(cl-imports http://colore.oor.net/timepoints/lp_ordering)
+(cl-imports http://colore.oor.net/timepoints/lp_ordering.clif)
 
 (exists (t1)
 	(and	(timepoint t1)

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

diff --git a/ontologies/timepoints/lp_infinite_past.clif b/ontologies/timepoints/lp_infinite_past.clif
@@ -8,9 +8,9 @@
  *    Michael Gruninger - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/timepoints/lp_infinite_past
+(cl-text http://colore.oor.net/timepoints/lp_infinite_past.clif
 
-(cl-imports http://colore.oor.net/timepoints/lp_ordering)
+(cl-imports http://colore.oor.net/timepoints/lp_ordering.clif)
 
 (forall (x)
 	(if	(timepoint x) 

diff --git a/ontologies/timepoints/lp_ordering.clif b/ontologies/timepoints/lp_ordering.clif
@@ -1,4 +1,4 @@
-(cl-text http://colore.oor.net/timepoints/lp_ordering
+(cl-text http://colore.oor.net/timepoints/lp_ordering.clif
 
 (forall (x y z)
 	(if	(and	(timepoint x)