|
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 857-857 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 923-923 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 1000-1000 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 829-829 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 833-833 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 1023-1023 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 1020-1020 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 1017-1017 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 842-842 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 839-839 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 925-925 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 1009-1009 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 997-997 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 616-616 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 610-610 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 887-887 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 845-845 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 927-927 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 740-740 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 598-598 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 994-994 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 737-737 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 848-848 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 464-464 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 951-951 | |
| 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