|
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 107-107 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 110-110 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 378-378 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 565-565 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 571-571 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 695-695 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 633-633 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 715-715 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 704-704 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 384-384 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 387-387 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 112-112 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 269-269 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 115-115 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 389-389 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 118-118 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 121-121 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 272-272 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 124-124 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 713-713 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 686-686 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 507-507 | |
| 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