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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 10015-10016
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 10014-10014 Oil は 合成物質 の subclass では

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


(subclass AnimalFat Oil) Food.kif 2878-2878 AnimalFat は Oil の subclass では
(subclass ButterFat Oil) Food.kif 2937-2937 ButterFat は Oil の subclass では
(subclass OilFromPlant Oil) Economy.kif 4864-4864 OilFromPlant は Oil の subclass では
(subclass PetroleumProduct Oil) Mid-level-ontology.kif 2140-2140 PetroleumProduct は Oil の subclass では
(termFormat ChineseLanguage Oil "油") domainEnglishFormat.kif 41942-41942 PetroleumProduct は Oil の subclass では
(termFormat ChineseTraditionalLanguage Oil "油") domainEnglishFormat.kif 41941-41941 PetroleumProduct は Oil の subclass では
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 41940-41940 PetroleumProduct は Oil の subclass では

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 10018-10026

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 2507-2512
(=>
    (instance ?F Frying)
    (exists (?O)
        (and
            (instance ?O Oil)
            (resource ?F ?O))))		 Food.kif 2576-2581
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))		 Food.kif 2671-2675
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))		 Cars.kif 3384-3390
(=>
    (instance ?P OilPaint)
    (exists (?O)
        (and
            (instance ?O Oil)
            (part ?O ?P))))		 Mid-level-ontology.kif 3662-3667


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



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