new theories in successor ad ordered arithmetic

gruninger · Jan 28, 2015 · 263c255 · 263c255
1 parent 2b1de35
commit 263c255
Show file tree

Hide file tree

Showing 7 changed files with 57 additions and 0 deletions.
diff --git a/ontologies/ordered_arithmetic/min_succ_less.clif b/ontologies/ordered_arithmetic/min_succ_less.clif
@@ -0,0 +1,7 @@
+(cl-text http://colore.oor.net/ordered_arithmetic/min_succ_less.clif
+
+(cl-imports http://colore.oor.net/ordered_arithmetic/chain_successor.clif)
+
+(cl-imports http://colore.oor.net/successor/min_succ.clif)
+
+)
diff --git a/ontologies/ordered_arithmetic/no_max_succ_less.clif b/ontologies/ordered_arithmetic/no_max_succ_less.clif
@@ -0,0 +1,7 @@
+(cl-text http://colore.oor.net/ordered_arithmetic/no_max_succ_less.clif
+
+(cl-imports http://colore.oor.net/ordered_arithmetic/chain_successor.clif)
+
+(cl-imports http://colore.oor.net/successor/no_max_succ.clif)
+
+)
diff --git a/ontologies/ordered_arithmetic/unique_min_succ_less.clif b/ontologies/ordered_arithmetic/unique_min_succ_less.clif
@@ -0,0 +1,7 @@
+(cl-text http://colore.oor.net/ordered_arithmetic/unique_min_succ_less.clif
+
+(cl-imports http://colore.oor.net/ordered_arithmetic/linear_successor.clif)
+
+(cl-imports http://colore.oor.net/successor/min_succ.clif)
+
+)
diff --git a/ontologies/orderings/discrete_chains_nofinal.clif b/ontologies/orderings/discrete_chains_nofinal.clif
@@ -0,0 +1,10 @@
+
+(cl-text http://colore.oor.net/orderings/discrete_chains_nofinal.clif
+
+(cl-imports http://colore.oor.net/orderings/minexists.clif)
+
+(cl-imports http://colore.oor.net/orderings/nofinal.clif)
+
+(cl-imports http://colore.oor.net/orderings/discrete_chains.clif)
+
+)
diff --git a/ontologies/orderings/discrete_linear_nofinal.clif b/ontologies/orderings/discrete_linear_nofinal.clif
@@ -0,0 +1,10 @@
+
+(cl-text http://colore.oor.net/orderings/discrete_linear_nofinal.clif
+
+(cl-imports http://colore.oor.net/orderings/minexists.clif)
+
+(cl-imports http://colore.oor.net/orderings/nofinal.clif)
+
+(cl-imports http://colore.oor.net/orderings/discrete_linear.clif)
+
+)
diff --git a/ontologies/orderings/min_discrete_chains.clif b/ontologies/orderings/min_discrete_chains.clif
@@ -0,0 +1,8 @@
+
+(cl-text http://colore.oor.net/orderings/min_discrete_chains.clif
+
+(cl-imports http://colore.oor.net/orderings/minexists.clif)
+
+(cl-imports http://colore.oor.net/orderings/discrete_chains.clif)
+
+)
diff --git a/ontologies/orderings/min_discrete_linear.clif b/ontologies/orderings/min_discrete_linear.clif
@@ -0,0 +1,8 @@
+
+(cl-text http://colore.oor.net/orderings/min_discrete_linear.clif
+
+(cl-imports http://colore.oor.net/orderings/minexists.clif)
+
+(cl-imports http://colore.oor.net/orderings/discrete_linear.clif)
+
+)