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 Solution that cannot be mixed with Water. Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.") Mid-level-ontology.kif 8412-8413
(subclass Oil Solution) Mid-level-ontology.kif 8411-8411 Oil is a subclass of solution

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


(subclass PetroleumProduct Oil) Mid-level-ontology.kif 1632-1632 Petroleum product is a subclass of oil
(termFormat ChineseLanguage Oil "油") domainEnglishFormat.kif 41911-41911
(termFormat ChineseTraditionalLanguage Oil "油") domainEnglishFormat.kif 41910-41910
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 41909-41909

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


(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8415-8423

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


(=>
    (instance ?F Frying)
    (exists (?O)
        (and
            (instance ?O Oil)
            (resource ?F ?O))))
Food.kif 547-552
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 642-646
(=>
    (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 3170-3175


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