|
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 592-592 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 641-641 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 864-864 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 867-867 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 595-595 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 353-353 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 608-608 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 800-800 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 62-62 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 797-797 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 975-975 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 65-65 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 692-692 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 550-550 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 553-553 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 68-68 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 71-71 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 771-771 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 477-477 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 77-77 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 724-724 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 510-510 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 83-83 | |
| 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