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


KB Term:  Term intersection
English Word: 

Sigma KEE - Oil
Oil(oil)

appearance as argument number 1
-------------------------


(subclass Oil CompoundSubstance) Mid-level-ontology.kif 10055-10055 Oil is a subclass of compound substance
(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 10056-10057 Oil is a subclass of compound substance

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


(subclass PetroleumProduct Oil) Mid-level-ontology.kif 2158-2158 Petroleum product is a subclass of oil
(subclass OilFromPlant Oil) Economy.kif 4859-4859 Oil from plant is a subclass of oil
(subclass AnimalFat Oil) Food.kif 2878-2878 Animal fat is a subclass of oil
(subclass ButterFat Oil) Food.kif 2937-2937 Butter fat is a subclass of oil
(termFormat EnglishLanguage Oil "oil") domainEnglishFormat.kif 41933-41933 Butter fat is a subclass of oil
(termFormat ChineseTraditionalLanguage Oil "油") domainEnglishFormat.kif 41934-41934 Butter fat is a subclass of oil
(termFormat ChineseLanguage Oil "油") domainEnglishFormat.kif 41935-41935 Butter fat 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 10059-10067 If X is an instance of oil, then there don't exist Y, Z such that Y is an instance of mixture, Z is a part of Y, Z is an instance of freshwater, and X is a part of Y

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


(=>
    (instance ?P OilPaint)
    (exists (?O)
        (and
            (instance ?O Oil)
            (part ?O ?P))))		 Mid-level-ontology.kif 3679-3684 If X is an instance of oil paint, then there exists Y such that Y is an instance of oil and Y is a part of X
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))		 Cars.kif 3401-3407 If X is an instance of oil pan, then X has the purpose there exists Y such that Y is an instance of oil and X contains Y
(=>
    (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 X is an instance of dry roasting, Y is an instance of food, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of heating (3) W is an instance of stirring (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of W takes place during the time of existence of Z (7) Y is a patient of Z (8) Y is a patient of W (9) there don't exist V (10) U such that V is an instance of oil (11) U is an instance of potable water (12) V is a patient of X (13) U is a patient of X holds during X
(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))		 Food.kif 2507-2512 If X is an instance of chocolate candy, then X is made of cocoa liquor, X is made of oil, and X is made of sugar
(=>
    (instance ?F Frying)
    (exists (?O)
        (and
            (instance ?O Oil)
            (resource ?F ?O))))		 Food.kif 2576-2581 If X is an instance of frying, then there exists Y such that Y is an instance of oil and Y is a resource for X
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))		 Food.kif 2671-2675 If X is an instance of mayonnaise, then X is made of oil and X is made of egg yolk


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