Oil - Sigma Knowledge base Browser

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 8495-8496
(subclass Oil Solution)	Mid-level-ontology.kif 8494-8494	Oil is a subclass of solution

appearance as argument number 2

(subclass PetroleumProduct Oil)	Mid-level-ontology.kif 2089-2089	Petroleum product is a subclass of 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 8498-8505

If an object is an instance of oil,
then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of water and the object is a part of the other object

consequent

(=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O))))	Food.kif 565-570	If a process is an instance of Frying, then there exists an object such that the object is an instance of oil and the object is a resource for the process
(=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M)))	Food.kif 657-661	If a corpuscular object is an instance of Mayonnaise, then oil is made of the corpuscular object and EggYolk is made of the corpuscular object
(=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O)))))	Cars.kif 3298-3304	If a physical is an instance of oil pan, then the physical purpose there exists an entity such that the entity is an instance of oil and the physical は the entity を contains %n{ない}
(=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P))))	Mid-level-ontology.kif 3761-3766	If an object is an instance of oil paint, then there exists another object such that the other object is an instance of oil and the other object is a part of the object

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

KB Term:			Term intersection

English Word: