|
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 453-453 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 454-454 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 455-455 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 415-415 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 313-313 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 380-380 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 456-456 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 457-457 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 295-295 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 351-351 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 458-458 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 459-459 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 418-418 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 460-460 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 437-437 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 462-462 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 461-461 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 281-281 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 409-409 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 483-483 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 284-284 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 311-311 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 419-419 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 420-420 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 285-285 | |
| 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