| 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 2179-2180 | |
| (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 33345-33345 | |
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 2177-2177 | |
| (subclass DieselFuel Solution) | Mid-level-ontology.kif 2178-2178 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19485-19485 | |
| (termFormat ChineseTraditionalLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19484-19484 | |
| (termFormat EnglishLanguage DieselFuel "diesel fuel") | domainEnglishFormat.kif 19483-19483 |
| consequent |
|
|
| (=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 25258-25263 |
|
|
|