| 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 24715-24716 | |
| (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 24714-24714 | Gasoline engine is a subclass of internal combustion engine |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GasolineEngine "汽油发动机") | domainEnglishFormat.kif 25578-25578 | |
| (termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機") | domainEnglishFormat.kif 25577-25577 | |
| (termFormat EnglishLanguage GasolineEngine "gasoline engine") | domainEnglishFormat.kif 25576-25576 |
| antecedent |
|
|
| (=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F)))) |
Mid-level-ontology.kif 24718-24723 |
|
|
|
|