| Engine
| |
| 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 2137-2139 | |
| (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 2136-2136 | subclass Engine and Transducer |
| appearance as argument number 2 |
|
|
| (subclass ElectricMotor Engine) | Mid-level-ontology.kif 2198-2198 | subclass ElectricMotor and Engine |
| (subclass InternalCombustionEngine Engine) | Mid-level-ontology.kif 2179-2179 | subclass InternalCombustionEngine and Engine |
| (subclass OutboardEngine Engine) | Cars.kif 4310-4310 | subclass OutboardEngine and Engine |
| (subclass SteamEngine Engine) | Mid-level-ontology.kif 2167-2167 | subclass SteamEngine and Engine |
| (subclass Turbine Engine) | Mid-level-ontology.kif 2171-2171 | subclass Turbine and Engine |
| (termFormat ChineseLanguage Engine "发动机") | domainEnglishFormat.kif 22003-22003 | |
| (termFormat ChineseTraditionalLanguage Engine "發動機") | domainEnglishFormat.kif 22002-22002 | |
| (termFormat EnglishLanguage Engine "engine") | domainEnglishFormat.kif 22001-22001 |
| appearance as argument number 3 |
|
|
| (domain compressionRatio 1 Engine) | Cars.kif 1910-1910 | domain compressionRatio, 1 and Engine |
| (domain engineCylinders 1 Engine) | Cars.kif 4506-4506 | domain engineCylinders, 1 and Engine |
| (domain maxCylinderVolume 1 Engine) | Cars.kif 1883-1883 | domain maxCylinderVolume, 1 and Engine |
| (domain minCylinderVolume 1 Engine) | Cars.kif 1855-1855 | domain minCylinderVolume, 1 and Engine |
| (domain pistonStroke 1 Engine) | Cars.kif 1926-1926 | domain pistonStroke, 1 and Engine |
| antecedent |
|
|
| consequent |
|
|
|
|
|