|
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 272-272 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 306-306 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 342-342 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 338-338 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 190-190 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 191-191 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 142-142 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 143-143 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 92-92 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 192-192 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 93-93 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 144-144 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 95-95 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 341-341 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 332-332 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 238-238 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 263-263 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 505-505 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 474-474 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 502-502 | |
| 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