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 23600-23600 | Gasoline engine is a subclass of internal combustion engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23611-23611 | Diesel engine is a subclass of internal combustion engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 85-85 | Continuous combustion engine is a subclass of internal combustion engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 90-90 | Turbine is a subclass of internal combustion engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 91-91 | Intermittent combustion engine is a subclass of internal combustion engine |