|
| 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 1095-1095 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 741-741 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 740-740 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 380-380 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 340-340 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 369-369 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 370-370 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 386-386 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 387-387 | |
| 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