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 Solution that cannot be mixed with Water. Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.") Mid-level-ontology.kif 8489-8490
(subclass Oil Solution) Mid-level-ontology.kif 8488-8488 subclass Oil and Solution

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


(subclass PetroleumProduct Oil) Mid-level-ontology.kif 2083-2083 subclass PetroleumProduct and Oil
(termFormat ChineseLanguage Oil "油") domainEnglishFormat.kif 41821-41821
(termFormat ChineseTraditionalLanguage Oil "油") domainEnglishFormat.kif 41820-41820
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 41819-41819

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 8492-8499

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


(=>
    (instance ?F Frying)
    (exists (?O)
        (and
            (instance ?O Oil)
            (resource ?F ?O))))
Food.kif 565-570
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 657-661
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))
Cars.kif 3298-3304
(=>
    (instance ?P OilPaint)
    (exists (?O)
        (and
            (instance ?O Oil)
            (part ?O ?P))))
Mid-level-ontology.kif 3755-3760


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners