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


KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidMixture
LiquidMixture(liquid mixture)

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


(subclass LiquidMixture Mixture) Merge.kif 15021-15021 Liquid mixture is a subclass of mixture
(partition LiquidMixture Solution Suspension) Merge.kif 15022-15022 Liquid mixture is exhaustively partitioned into solution and suspension
(documentation LiquidMixture EnglishLanguage "Any Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a Liquid and any component other than Liquid in the Mixture is in the form of fine particles which are suspended in the Liquid.") Merge.kif 15023-15026 Liquid mixture is exhaustively partitioned into solution and suspension
(roomTempState LiquidMixture Liquid) Mid-level-ontology.kif 34066-34066 room temperature state liquid mixture and liquid
(externalImage LiquidMixture "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 2483-2483 room temperature state liquid mixture and liquid

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


(subclass Solution LiquidMixture) Merge.kif 15035-15035 Solution is a subclass of liquid mixture
(subclass Suspension LiquidMixture) Merge.kif 15042-15042 Suspension is a subclass of liquid mixture
(disjoint GasMixture LiquidMixture) Merge.kif 15049-15049 Gas mixture is disjoint from liquid mixture
(subclass Emulsion LiquidMixture) Mid-level-ontology.kif 23847-23847 Emulsion is a subclass of liquid mixture
(subclass SolMixture LiquidMixture) Mid-level-ontology.kif 23901-23901 Sol mixture is a subclass of liquid mixture
(subclass SoilSolution LiquidMixture) Geography.kif 5828-5828 Soil solution is a subclass of liquid mixture
(termFormat EnglishLanguage LiquidMixture "liquid mixture") domainEnglishFormat.kif 34651-34651 Soil solution is a subclass of liquid mixture
(termFormat ChineseTraditionalLanguage LiquidMixture "液體混合物") domainEnglishFormat.kif 34652-34652 Soil solution is a subclass of liquid mixture
(termFormat ChineseLanguage LiquidMixture "液体混合物") domainEnglishFormat.kif 34653-34653 Soil solution is a subclass of liquid mixture

antecedent
-------------------------


(=>
    (instance ?MIX LiquidMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Liquid))))		 Merge.kif 15028-15033 If X is an instance of liquid mixture, then there exists Y such that Y is a part of X and liquid is an attribute of Y
(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Immiscible)
        (equal ?L ?X))
    (instance ?X Emulsion))		 Mid-level-ontology.kif 23860-23865 If X is an instance of liquid mixture, immiscible is an attribute of X, and equal X and Y, then Y is an instance of emulsion
(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Miscible)
        (equal ?L ?X))
    (instance ?X Solution))		 Mid-level-ontology.kif 23871-23876 If X is an instance of liquid mixture, miscible is an attribute of X, and equal X and Y, then Y is an instance of solution

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


(=>
    (instance ?C Chromatography)
    (exists (?M)
        (and
            (resource ?C ?M)
            (or
                (instance ?M LiquidMixture)
                (instance ?M GasMixture)))))		 Mid-level-ontology.kif 21548-21555 If X is an instance of chromatography, then there exists Y such that Y is a resource for X and Y is an instance of liquid mixture or Y is an instance of gas mixture
(=>
    (instance ?CM CoffeeMaking)
    (exists (?R ?LM ?CG ?W ?F ?C)
        (and
            (subProcess ?R ?CM)
            (instance ?R Removing)
            (origin ?R ?LM)
            (instance ?LM LiquidMixture)
            (part ?W ?LM)
            (instance ?W DrinkingWater)
            (part ?CG ?LM)
            (instance ?CG CoffeeGrind)
            (instrument ?R ?F)
            (instance ?F Filter)
            (result ?R ?C)
            (instance ?C Coffee))))		 Food.kif 662-677 If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is a subprocess of X (3) Y is an instance of removing (4) Y originates at Z (5) Z is an instance of liquid mixture (6) V is a part of Z (7) V is an instance of potable water (8) W is a part of Z (9) W is an instance of coffee grind (10) U is an instrument for Y (11) U is an instance of filter (12) T is a result of Y (13) T is an instance of coffee
(=>
    (instance ?MC MolotovCocktail)
    (exists (?LIQUID)
        (and
            (instance ?LIQUID LiquidMixture)
            (part ?LIQUID ?MC)
            (capability Combustion patient ?LIQUID))))		 MilitaryDevices.kif 1449-1455 If X is an instance of molotov cocktail, then there exists Y such that Y is an instance of liquid mixture, Y is a part of X, and Y is capable of doing burning as a patient


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners