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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oil

Sigma KEE - Oil
Oillemon_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 8486-8487
(subclass Oil Solution) Mid-level-ontology.kif 8485-8485

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


(subclass PetroleumProduct Oil) Mid-level-ontology.kif 2088-2088
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 7407-7407

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 8489-8496

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


(=>
    (instance ?F Frying)
    (exists (?O)
        (and
            (instance ?O Oil)
            (resource ?F ?O))))
Food.kif 610-615
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 702-706
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))
Cars.kif 3291-3297
(=>
    (instance ?P OilPaint)
    (exists (?O)
        (and
            (instance ?O Oil)
            (part ?O ?P))))
Mid-level-ontology.kif 3759-3764


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