| DieselFuel(diesel fuel)
|
| appearance as argument number 1 |
|
| (documentation DieselFuel EnglishLanguage "DieselFuel is the subclass of RefinedPetroleumProducts that are fuels for diesel engines.") | Mid-level-ontology.kif 1709-1710 | |
| (externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Red_diesel_tank.jpg") | pictureList.kif 2571-2571 | |
| (externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/en/2/2d/ Pumping.jpg") | pictureList.kif 2570-2570 | |
| (roomTempState DieselFuel Liquid) | Mid-level-ontology.kif 31663-31663 | roomTempState diesel fuel and liquid |
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 1707-1707 | Diesel fuel is a subclass of fossil fuel |
| (subclass DieselFuel Solution) | Mid-level-ontology.kif 1708-1708 | Diesel fuel is a subclass of solution |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19492-19492 | |
| (termFormat ChineseTraditionalLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19491-19491 | |
| (termFormat EnglishLanguage DieselFuel "diesel fuel") | domainEnglishFormat.kif 19490-19490 |
| consequent |
|
|
| (=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 23898-23903 |
|
|
|
|