|
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 86-86 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 258-258 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 261-261 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 480-480 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 707-707 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 483-483 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 710-710 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 92-92 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 367-367 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 573-573 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 95-95 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 576-576 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 773-773 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 101-101 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 104-104 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 674-674 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 809-809 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 769-769 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 370-370 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 373-373 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 376-376 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 815-815 | |
| 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