|
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 230-230 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 340-340 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 83-83 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 503-503 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 84-84 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 85-85 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 141-141 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 86-86 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 87-87 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 88-88 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 395-395 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 374-374 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 185-185 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 186-186 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 397-397 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 188-188 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 262-262 | |
| 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