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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oil
Oil(oil)lemon_grass, lemongrass, lemongrass_oil, mustard_oil, oil, wool_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 8809-8810
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808 Oil is a subclass of compound substance

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


(subclass AnimalFat Oil) Food.kif 2871-2871 Animal fat is a subclass of oil
(subclass ButterFat Oil) Food.kif 2930-2930 Butter fat is a subclass of oil
(subclass OilFromPlant Oil) Economy.kif 4526-4526 Oil from plant is a subclass of oil
(subclass PetroleumProduct Oil) Mid-level-ontology.kif 1677-1677 Petroleum product is a subclass of oil
(termFormat ChineseLanguage Oil "油") domainEnglishFormat.kif 41934-41934
(termFormat ChineseTraditionalLanguage Oil "油") domainEnglishFormat.kif 41933-41933
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 41932-41932

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 8812-8820

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 3323-3329
(=>
    (instance ?P OilPaint)
    (exists (?O)
        (and
            (instance ?O Oil)
            (part ?O ?P))))
Mid-level-ontology.kif 3219-3224


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