| GasolineEngine(gasoline engine)
|
| appearance as argument number 1 |
|
| (documentation GasolineEngine EnglishLanguage "GasolineEngine is the subclass of InternalCombustionEngines that use Gasoline as their resource.") | Mid-level-ontology.kif 25233-25234 | |
| (externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Colorized_car_engine.jpg") | pictureList.kif 4967-4967 | |
| (externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 1993_bmw_325is_engine.jpg") | pictureList.kif 4871-4871 | |
| (subclass GasolineEngine InternalCombustionEngine) | Mid-level-ontology.kif 25232-25232 | Gasoline engine is a subclass of internal combustion engine |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GasolineEngine "汽油发动机") | domainEnglishFormat.kif 25560-25560 | |
| (termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機") | domainEnglishFormat.kif 25559-25559 | |
| (termFormat EnglishLanguage GasolineEngine "gasoline engine") | domainEnglishFormat.kif 25558-25558 |
| antecedent |
|
|
| (=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F)))) |
Mid-level-ontology.kif 25236-25241 |
|
|
|
|