No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1724-1724 | Engine e' uma sub-classe de Transducer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1748-1748 | SteamEngine e' uma sub-classe de Engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1752-1752 | Turbine e' uma sub-classe de Engine |
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 1779-1779 | ElectricMotor e' uma sub-classe de Engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4336 | OutboardEngine e' uma sub-classe de Engine |