Oil - Sigma Knowledge base Browser

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 10010-10011
(subclass Oil CompoundSubstance)	Mid-level-ontology.kif 10009-10009	Oil is a subclass of compound substance

appearance as argument number 2

(subclass AnimalFat Oil)	Food.kif 2878-2878	AnimalFat is a subclass of Oil
(subclass ButterFat Oil)	Food.kif 2937-2937	ButterFat is a subclass of Oil
(subclass OilFromPlant Oil)	Economy.kif 4864-4864	OilFromPlant is a subclass of Oil
(subclass PetroleumProduct Oil)	Mid-level-ontology.kif 2140-2140	PetroleumProduct is a subclass of Oil
(termFormat ChineseLanguage Oil "油")	domainEnglishFormat.kif 41942-41942	PetroleumProduct is a subclass of Oil
(termFormat ChineseTraditionalLanguage Oil "油")	domainEnglishFormat.kif 41941-41941	PetroleumProduct is a subclass of Oil
(termFormat EnglishLanguage Oil "oil")	domainEnglishFormat.kif 41940-41940	PetroleumProduct is a subclass of Oil

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 10013-10021

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 FreshWater and the object is a part of the other object

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	If a process is an instance of DryRoasting and an entity is an instance of Food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of Stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of Oil and the fifth entity is an instance of DrinkingWater and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
(=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC)))	Food.kif 2507-2512	If a corpuscular object is an instance of ChocolateCandy, then the corpuscular object is made of CocoaLiquor and the corpuscular object is made of Oil and the corpuscular object is made of Sugar
(=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O))))	Food.kif 2576-2581	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 2671-2675	If a corpuscular object is an instance of Mayonnaise, then the corpuscular object is made of Oil and the corpuscular object is made of EggYolk
(=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O)))))	Cars.kif 3384-3390	If a physical is an instance of OilPan, then the physical has the purpose there exists an entity such that the entity is an instance of Oil and the physical contains the entity
(=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P))))	Mid-level-ontology.kif 3662-3667	If an object is an instance of OilPaint, 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: