| 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 23884-23885 | |
| (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 23883-23883 | Gasoline engine is a subclass of internal combustion engine |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GasolineEngine "汽油发动机") | domainEnglishFormat.kif 25584-25584 | |
| (termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機") | domainEnglishFormat.kif 25583-25583 | |
| (termFormat EnglishLanguage GasolineEngine "gasoline engine") | domainEnglishFormat.kif 25582-25582 |
| antecedent |
|
|
| (=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F)))) |
Mid-level-ontology.kif 23887-23892 |
|
|
|
|