Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oil

Sigma KEE - Oil
Oil(油)

appearance as argument number 1
-------------------------


(documentation Oil EnglishLanguage "A greasy, viscous CompoundSubstance that cannot be mixed with Water. Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.") Mid-level-ontology.kif 8836-8837
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8835-8835 复合物质subclass

appearance as argument number 2
-------------------------


(subclass AnimalFat Oil) Food.kif 2871-2871 AnimalFatsubclass
(subclass ButterFat Oil) Food.kif 2930-2930 ButterFatsubclass
(subclass OilFromPlant Oil) Economy.kif 4526-4526 OilFromPlantsubclass
(subclass PetroleumProduct Oil) Mid-level-ontology.kif 1670-1670 石油产品subclass
(termFormat ChineseLanguage Oil "油") domainEnglishFormat.kif 41936-41936
(termFormat ChineseTraditionalLanguage Oil "油") domainEnglishFormat.kif 41935-41935
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 41934-41934

antecedent
-------------------------


(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER FreshWater)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8839-8847

consequent
-------------------------


(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))
Food.kif 128-151
(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))
Food.kif 2500-2505
(=>
    (instance ?F Frying)
    (exists (?O)
        (and
            (instance ?O Oil)
            (resource ?F ?O))))
Food.kif 2569-2574
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 2664-2668
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))
Cars.kif 3308-3314
(=>
    (instance ?P OilPaint)
    (exists (?O)
        (and
            (instance ?O Oil)
            (part ?O ?P))))
Mid-level-ontology.kif 3212-3217


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners