TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DieselFuel FossilFuel)	Mid-level-ontology.kif 2242-2242	Diesel fuel is a subclass of fossil fuel
(subclass DieselFuel Solution)	Mid-level-ontology.kif 2243-2243	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 2244-2245	Diesel fuel is a subclass of solution
(roomTempState DieselFuel Liquid)	Mid-level-ontology.kif 33906-33906	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

(termFormat EnglishLanguage DieselFuel "diesel fuel")	domainEnglishFormat.kif 19476-19476
(termFormat ChineseTraditionalLanguage DieselFuel "柴油燃料")	domainEnglishFormat.kif 19477-19477
(termFormat ChineseLanguage DieselFuel "柴油燃料")	domainEnglishFormat.kif 19478-19478

consequent

(=>
    (instance ?P
        (OperatingFn DieselEngine))
    (exists (?F)
        (and
            (instance ?F DieselFuel)
            (resource ?P ?F))))

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