|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 388-388 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 457-457 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 458-458 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 459-459 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 431-431 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 432-432 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1248-1248 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1243-1243 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1255-1255 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1260-1260 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 706-706 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1099-1099 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1332-1332 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1043-1043 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 804-804 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 253-253 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1103-1103 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1271-1271 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 965-965 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 364-364 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 359-359 | |
| 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