| DieselFuel
|
| appearance as argument number 1 |
|
| (documentation DieselFuel EnglishLanguage "DieselFuel is the subclass of RefinedPetroleumProducts that are fuels for diesel engines.") | Mid-level-ontology.kif 2178-2179 | |
| (externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Red_diesel_tank.jpg") | pictureList.kif 2570-2570 | |
| (externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/en/2/2d/ Pumping.jpg") | pictureList.kif 2569-2569 | |
| (roomTempState DieselFuel Liquid) | Mid-level-ontology.kif 33102-33102 | |
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 2176-2176 | |
| (subclass DieselFuel Solution) | Mid-level-ontology.kif 2177-2177 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19491-19491 | |
| (termFormat ChineseTraditionalLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19490-19490 | |
| (termFormat EnglishLanguage DieselFuel "diesel fuel") | domainEnglishFormat.kif 19489-19489 |
| consequent |
|
|
| (=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 25275-25280 |
|
|
|