| DieselFuel(diesel fuel)
|
| appearance as argument number 1 |
|
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 2182-2182 | Diesel fuel is a subclass of fossil fuel |
| (subclass DieselFuel Solution) | Mid-level-ontology.kif 2183-2183 | Diesel fuel is a subclass of solution |
| (documentation DieselFuel EnglishLanguage "DieselFuel is the subclass of RefinedPetroleumProducts that are fuels for diesel engines.") | Mid-level-ontology.kif 2184-2185 | Diesel fuel is a subclass of solution |
| (roomTempState DieselFuel Liquid) | Mid-level-ontology.kif 34075-34075 | room temperature state diesel fuel and liquid |
| (externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/en/2/2d/ Pumping.jpg") | pictureList.kif 2569-2569 | room temperature state diesel fuel and liquid |
| (externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Red_diesel_tank.jpg") | pictureList.kif 2570-2570 | room temperature state diesel fuel and liquid |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 25977-25982 | If X is an instance of the operating of diesel engine, then there exists Y such that Y is an instance of diesel fuel and Y is a resource for X |
|
|
|