TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Gasoline FossilFuel)	Mid-level-ontology.kif 2237-2237	Gasoline is a subclass of fossil fuel
(subclass Gasoline Solution)	Mid-level-ontology.kif 2238-2238	Gasoline is a subclass of solution
(documentation Gasoline EnglishLanguage "Gasoline is the subclass of RefinedPetroleumProducts that are fuels for internal combustion engines.")	Mid-level-ontology.kif 2239-2240	Gasoline is a subclass of solution
(roomTempState Gasoline Liquid)	Mid-level-ontology.kif 33905-33905	room temperature state gasoline and liquid

appearance as argument number 2

(termFormat EnglishLanguage Gasoline "gasoline")	domainEnglishFormat.kif 25546-25546
(termFormat ChineseTraditionalLanguage Gasoline "汽油")	domainEnglishFormat.kif 25547-25547
(termFormat ChineseLanguage Gasoline "汽油")	domainEnglishFormat.kif 25548-25548

consequent

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