![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Engine EnglishLanguage "Engine is a subclass of Transducer. Engines are devices for converting some form of energy resource into mechanical power.") | Mid-level-ontology.kif 1678-1680 | |
(externalImage Engine "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Mazda_rotary_engine_early.jpg") | pictureList.kif 86-86 | |
(subclass Engine Transducer) | Mid-level-ontology.kif 1677-1677 | Engine is a subclass of transducer |
appearance as argument number 2 |
![]() |
(subclass ElectricMotor Engine) | Mid-level-ontology.kif 1734-1734 | Electric motor is a subclass of engine |
(subclass InternalCombustionEngine Engine) | Mid-level-ontology.kif 1715-1715 | Internal combustion engine is a subclass of engine |
(subclass OutboardEngine Engine) | Cars.kif 4339-4339 | Outboard motor is a subclass of engine |
(subclass SteamEngine Engine) | Mid-level-ontology.kif 1703-1703 | Steam engine is a subclass of engine |
(subclass Turbine Engine) | Mid-level-ontology.kif 1707-1707 | Turbine is a subclass of engine |
(termFormat ChineseLanguage Engine "发动机") | domainEnglishFormat.kif 22071-22071 | |
(termFormat ChineseTraditionalLanguage Engine "發動機") | domainEnglishFormat.kif 22070-22070 | |
(termFormat EnglishLanguage Engine "engine") | domainEnglishFormat.kif 22069-22069 |
appearance as argument number 3 |
![]() |
(domain compressionRatio 1 Engine) | Cars.kif 1920-1920 | The number 1 argument of compressionRatio is an instance of engine |
(domain engineCylinders 1 Engine) | Cars.kif 4528-4528 | The number 1 argument of engineCylinders is an instance of engine |
(domain maxCylinderVolume 1 Engine) | Cars.kif 1890-1890 | The number 1 argument of maxCylinderVolume is an instance of engine |
(domain minCylinderVolume 1 Engine) | Cars.kif 1859-1859 | The number 1 argument of minCylinderVolume is an instance of engine |
(domain pistonStroke 1 Engine) | Cars.kif 1936-1936 | The number 1 argument of pistonStroke is an instance of engine |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |