No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1760-1760 | InternalCombustionEngine e' uma sub-classe de Engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23600-23600 | GasolineEngine e' uma sub-classe de InternalCombustionEngine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23611-23611 | DieselEngine e' uma sub-classe de InternalCombustionEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 85-85 | ContinuousCombustionEngine e' uma sub-classe de InternalCombustionEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 90-90 | Turbine e' uma sub-classe de InternalCombustionEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 91-91 | IntermittentCombustionEngine e' uma sub-classe de InternalCombustionEngine |