DieselEngine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DieselEngine InternalCombustionEngine)	Mid-level-ontology.kif 25929-25929	Diesel engine is a subclass of internal combustion engine
(documentation DieselEngine EnglishLanguage "DieselEngine is the subclass of InternalCombustionEngines that use DieselFuel as their resource.")	Mid-level-ontology.kif 25930-25931	Diesel engine is a subclass of internal combustion engine
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Dieselmotor_vs.jpg")	pictureList.kif 4652-4652	Diesel engine is a subclass of internal combustion engine
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 42/ Lexus_Diesel_Engine.jpg")	pictureList.kif 4869-4869	Diesel engine is a subclass of internal combustion engine
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ R10_Engine.jpg")	pictureList.kif 4965-4965	Diesel engine is a subclass of internal combustion engine
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Detroit_Diesel_bauma_2007.jpg")	pictureList.kif 4966-4966	Diesel engine is a subclass of internal combustion engine

appearance as argument number 2

(termFormat EnglishLanguage DieselEngine "diesel engine")	domainEnglishFormat.kif 19470-19470
(termFormat ChineseTraditionalLanguage DieselEngine "柴油發動機")	domainEnglishFormat.kif 19471-19471
(termFormat ChineseLanguage DieselEngine "柴油发动机")	domainEnglishFormat.kif 19472-19472

antecedent

(=>
    (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