| 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 1782-1783 | |
| (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 32521-32521 | roomTempState diesel fuel and liquid |
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 1780-1780 | Diesel fuel is a subclass of fossil fuel |
| (subclass DieselFuel Solution) | Mid-level-ontology.kif 1781-1781 | Diesel fuel is a subclass of solution |
| 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 24729-24734 |
|
|
|
|