|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 292-292 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 293-293 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 297-297 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 298-298 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 300-300 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 306-306 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 310-310 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 313-313 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 315-315 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 317-317 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 21-21 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 22-22 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 23-23 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 27-27 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 30-30 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 32-32 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 33-33 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 36-36 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 37-37 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 39-39 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 40-40 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 42-42 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 44-44 | |
| 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