From 263c2559378ca9e77f70145f67a17d51173e7133 Mon Sep 17 00:00:00 2001 From: "michael.gruninger" Date: Wed, 28 Jan 2015 17:56:29 +0000 Subject: [PATCH] new theories in successor ad ordered arithmetic --- ontologies/ordered_arithmetic/min_succ_less.clif | 7 +++++++ ontologies/ordered_arithmetic/no_max_succ_less.clif | 7 +++++++ .../ordered_arithmetic/unique_min_succ_less.clif | 7 +++++++ ontologies/orderings/discrete_chains_nofinal.clif | 10 ++++++++++ ontologies/orderings/discrete_linear_nofinal.clif | 10 ++++++++++ ontologies/orderings/min_discrete_chains.clif | 8 ++++++++ ontologies/orderings/min_discrete_linear.clif | 8 ++++++++ 7 files changed, 57 insertions(+) create mode 100644 ontologies/ordered_arithmetic/min_succ_less.clif create mode 100644 ontologies/ordered_arithmetic/no_max_succ_less.clif create mode 100644 ontologies/ordered_arithmetic/unique_min_succ_less.clif create mode 100644 ontologies/orderings/discrete_chains_nofinal.clif create mode 100644 ontologies/orderings/discrete_linear_nofinal.clif create mode 100644 ontologies/orderings/min_discrete_chains.clif create mode 100644 ontologies/orderings/min_discrete_linear.clif diff --git a/ontologies/ordered_arithmetic/min_succ_less.clif b/ontologies/ordered_arithmetic/min_succ_less.clif new file mode 100644 index 000000000..bcdae7466 --- /dev/null +++ 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 new file mode 100644 index 000000000..49946e375 --- /dev/null +++ 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 new file mode 100644 index 000000000..d0e5f4a35 --- /dev/null +++ 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 new file mode 100644 index 000000000..c09c7b3ce --- /dev/null +++ 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 new file mode 100644 index 000000000..c00443989 --- /dev/null +++ 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 new file mode 100644 index 000000000..73602aa88 --- /dev/null +++ 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 new file mode 100644 index 000000000..f738c1320 --- /dev/null +++ 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) + +)