|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1049-1049 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 956-956 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1179-1179 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1380-1380 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1029-1029 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1189-1189 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 794-794 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 793-793 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 345-345 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1078-1078 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 149-149 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1086-1086 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1336-1336 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 172-172 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 904-904 | |
| 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 | |
| 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