|
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 174-174 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 392-392 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 391-391 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 477-477 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 75-75 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 334-334 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 267-267 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 76-76 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 77-77 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 78-78 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 79-79 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 345-345 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 239-239 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 139-139 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 140-140 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 339-339 | |
| 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