| DieselEngine
| |
| appearance as argument number 1 |
|
|
| (documentation DieselEngine EnglishLanguage "DieselEngine is the subclass of InternalCombustionEngines that use DieselFuel as their resource.") | Mid-level-ontology.kif 25255-25256 | |
| (externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 42/ Lexus_Diesel_Engine.jpg") | pictureList.kif 4869-4869 | |
| (externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ R10_Engine.jpg") | pictureList.kif 4965-4965 | |
| (externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Dieselmotor_vs.jpg") | pictureList.kif 4652-4652 | |
| (externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Detroit_Diesel_bauma_2007.jpg") | pictureList.kif 4966-4966 | |
| (subclass DieselEngine InternalCombustionEngine) | Mid-level-ontology.kif 25254-25254 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DieselEngine "柴油发动机") | domainEnglishFormat.kif 19479-19479 | |
| (termFormat ChineseTraditionalLanguage DieselEngine "柴油發動機") | domainEnglishFormat.kif 19478-19478 | |
| (termFormat EnglishLanguage DieselEngine "diesel engine") | domainEnglishFormat.kif 19477-19477 |
| antecedent |
|
|
| (=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 25258-25263 |
|
|
|