|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 354-354 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1009-1009 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 747-747 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 746-746 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 970-970 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 679-679 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 833-833 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1232-1232 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 809-809 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 204-204 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 138-138 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 137-137 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 872-872 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1014-1014 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1384-1384 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 582-582 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1223-1223 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1224-1224 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1219-1219 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 820-820 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 819-819 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 877-877 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1034-1034 | |
| 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