|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 905-905 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 269-269 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 736-736 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1169-1169 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1174-1174 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 994-994 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 629-629 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1019-1019 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 177-177 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 602-602 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 603-603 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 504-504 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 505-505 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 814-814 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 551-551 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 577-577 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1285-1285 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 999-999 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1090-1090 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1058-1058 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1059-1059 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1396-1396 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 111-111 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 112-112 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 113-113 | |
| 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