|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1294-1294 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1280-1280 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 141-141 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 140-140 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 572-572 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 799-799 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 220-220 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 107-107 | |
| 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 1180-1180 | |
| 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 | |
| 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