Added missing .clif ending to Incidence Geometry files

gruninger · Mar 22, 2019 · 183f2a7 · 183f2a7
1 parent 24cdd84
commit 183f2a7
Show file tree

Hide file tree

Showing 6 changed files with 11 additions and 11 deletions.
diff --git a/ontologies/incidence_geometry/ig.clif b/ontologies/incidence_geometry/ig.clif
@@ -8,9 +8,9 @@
  *    Torsten Hahmann - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/incidence_geometry/ig
+(cl-text http://colore.oor.net/incidence_geometry/ig.clif
 
-(cl-imports http://colore.oor.net/incidence_geometry/ig_2d_lin)
+(cl-imports http://colore.oor.net/incidence_geometry/ig_2d_lin.clif)
 
 (cl-comment '(linear) incidence geometry')
 

diff --git a/ontologies/incidence_geometry/ig_2d.clif b/ontologies/incidence_geometry/ig_2d.clif
@@ -8,7 +8,7 @@
  *    Torsten Hahmann - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/incidence_geometry/ig_2d
+(cl-text http://colore.oor.net/incidence_geometry/ig_2d.clif
 
 (cl-comment 'axioms of line spaces')
 

diff --git a/ontologies/incidence_geometry/ig_2d_lin.clif b/ontologies/incidence_geometry/ig_2d_lin.clif
@@ -8,11 +8,11 @@
  *    Torsten Hahmann - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/incidence_geometry/ig_2d_lin
+(cl-text http://colore.oor.net/incidence_geometry/ig_2d_lin.clif
 
 (cl-comment 'linear line spaces')
 
-(cl-imports http://colore.oor.net/incidence_geometry/ig_2d_slin)
+(cl-imports http://colore.oor.net/incidence_geometry/ig_2d_slin.clif)
 
 (cl-comment 'I.2b')
 

diff --git a/ontologies/incidence_geometry/ig_2d_slin.clif b/ontologies/incidence_geometry/ig_2d_slin.clif
@@ -8,11 +8,11 @@
  *    Torsten Hahmann - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/incidence_geometry/ig_2d_slin
+(cl-text http://colore.oor.net/incidence_geometry/ig_2d_slin.clif
 
 (cl-comment 'semi-linear line spaces')
 
-(cl-imports http://colore.oor.net/incidence_geometry/ig_2d)
+(cl-imports http://colore.oor.net/incidence_geometry/ig_2d.clif)
 
 (cl-comment 'I.2a')
 

diff --git a/ontologies/incidence_geometry/theorems/ig_2d_theorems.clif b/ontologies/incidence_geometry/theorems/ig_2d_theorems.clif
@@ -8,9 +8,9 @@
  *    Torsten Hahmann - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/incidence_geometry/ig_2d_theorems
+(cl-text http://colore.oor.net/incidence_geometry/ig_2d_theorems.clif
 
-(cl-imports http://colore.oor.net/incidence_geometry/ig_2d)
+(cl-imports http://colore.oor.net/incidence_geometry/ig_2d.clif)
 
 (forall (x)
 	(if

diff --git a/ontologies/incidence_geometry/theorems/ig_theorems.clif b/ontologies/incidence_geometry/theorems/ig_theorems.clif
@@ -8,9 +8,9 @@
  *    Torsten Hahmann - initial implementation
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/incidence_geometry/ig_theorems
+(cl-text http://colore.oor.net/incidence_geometry/ig_theorems.clif
 
-(cl-imports http://colore.oor.net/incidence_geometry/ig)
+(cl-imports http://colore.oor.net/incidence_geometry/ig.clif)
 
 (forall (x)
 	(if