|
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 488-488 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 405-405 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 407-407 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 250-250 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 249-249 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 248-248 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 411-411 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 410-410 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 451-451 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 491-491 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 487-487 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 294-294 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 435-435 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 412-412 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 452-452 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 286-286 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 486-486 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 352-352 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 413-413 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 218-218 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 463-463 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 173-173 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 172-172 | |
| 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