|
|
   GasolineEngine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation GasolineEngine EnglishLanguage "GasolineEngine is the subclass of InternalCombustionEngines that use Gasoline as their resource.") | Mid-level-ontology.kif 23600-23601 | |
| (externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Colorized_car_engine.jpg") | pictureList.kif 4968-4968 | |
| (externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 1993_bmw_325is_engine.jpg") | pictureList.kif 4872-4872 | |
| (subclass GasolineEngine InternalCombustionEngine) | Mid-level-ontology.kif 23599-23599 | GasolineEngine ist eine teilkategorie von InternalCombustionEngine |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GasolineEngine "汽油发动机") | domainEnglishFormat.kif 25550-25550 | |
| (termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機") | domainEnglishFormat.kif 25549-25549 | |
| (termFormat EnglishLanguage GasolineEngine "gasoline engine") | domainEnglishFormat.kif 25548-25548 |
| antecedent |
|
|
| (=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F)))) |
Mid-level-ontology.kif 23603-23608 |
|
|
|
|
