| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1724-1724 | Engine is a subclass of transducer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1748-1748 | Steam engine is a subclass of engine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1752-1752 | Turbine is a subclass of engine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1760-1760 | Internal combustion engine is a subclass of engine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1779-1779 | Electric motor is a subclass of engine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4336 | Outboard motor is a subclass of engine |
|
|