|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 202-202 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 204-204 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 205-205 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 206-206 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 207-207 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 208-208 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 209-209 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 212-212 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 211-211 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 213-213 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 214-214 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 216-216 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 217-217 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 219-219 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 220-220 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 223-223 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 224-224 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 231-231 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 234-234 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 233-233 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 235-235 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners