GasolineEngine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GasolineEngine InternalCombustionEngine)	Mid-level-ontology.kif 25918-25918	Gasoline engine is a subclass of internal combustion engine
(documentation GasolineEngine EnglishLanguage "GasolineEngine is the subclass of InternalCombustionEngines that use Gasoline as their resource.")	Mid-level-ontology.kif 25919-25920	Gasoline engine is a subclass of internal combustion engine
(externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 1993_bmw_325is_engine.jpg")	pictureList.kif 4871-4871	Gasoline engine is a subclass of internal combustion engine
(externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Colorized_car_engine.jpg")	pictureList.kif 4967-4967	Gasoline engine is a subclass of internal combustion engine

appearance as argument number 2

(termFormat EnglishLanguage GasolineEngine "gasoline engine")	domainEnglishFormat.kif 25552-25552
(termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機")	domainEnglishFormat.kif 25553-25553
(termFormat ChineseLanguage GasolineEngine "汽油发动机")	domainEnglishFormat.kif 25554-25554

antecedent

(=>
    (instance ?R
        (OperatingFn GasolineEngine))
    (exists (?F)
        (and
            (instance ?F Gasoline)
            (resource ?R ?F))))

If X is an instance of the operating of gasoline engine, then there exists Y such that Y is an instance of gasoline and Y is a resource for X