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


KB Term:  Term intersection
English Word: 

  subPlan

 Sigma KEE - Mixture
Mixture(mixture)
18-karat_gold, 22-karat_gold, Admiralty_Metal, Admiralty_brass, Alnico, Babbitt_metal, Ballistite, Britannia_metal, Carboloy, Damascus_steel, Damask_steel, Duralumin, Elinvar, Eureka, German_silver, Greek_fire, Inconel, Invar, Monel_metal, Monell_metal, Muntz_metal, Ni-hard, Ni-hard_iron, Ni-resist, Ni-resist_iron, Nichrome, Paris_green, Permalloy, Rochelle_powder, Rochelle_salt, Rochelle_salts, Saint-John's-bread, Seidlitz_powder, Seidlitz_powders, Stellite, TNT, Tiffany_glass, Tobin_bronze, Vaseline, Wood's_alloy, Wood's_metal, additive, adhesive_plaster, adobe, adobe_brick, afterdamp, agar, air_cushion, air_gas, alkali...

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


(subclass Mixture Substance) Merge.kif 1255-1255 Mixture is a subclass of substance
(documentation Mixture EnglishLanguage "A Mixture is two or more PureSubstances, combined in varying proportions - each retaining its own specific properties. The components of a Mixture can be separated by physical means, i.e. without the making and breaking of chemical bonds. Examples: Air, table salt thoroughly dissolved in water, milk, wood, and concrete.") Merge.kif 1257-1261 Mixture is a subclass of substance
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 6705-6705 Mixture is a subclass of substance

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


(subclass LiquidMixture Mixture) Merge.kif 15021-15021 Liquid mixture is a subclass of mixture
(subclass GasMixture Mixture) Merge.kif 15048-15048 Gas mixture is a subclass of mixture
(subclass GunPowder Mixture) Mid-level-ontology.kif 1508-1508 Gun powder is a subclass of mixture
(subclass PreparedFood Mixture) Mid-level-ontology.kif 2562-2562 Food is a subclass of mixture
(subclass Sewage Mixture) Mid-level-ontology.kif 2752-2752 Sewage is a subclass of mixture
(subclass Detergent Mixture) Mid-level-ontology.kif 10199-10199 Detergent is a subclass of mixture
(subclass Glue Mixture) Mid-level-ontology.kif 10264-10264 Glue is a subclass of mixture
(subclass Glass Mixture) Mid-level-ontology.kif 10277-10277 Glass is a subclass of mixture
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 10280-10280 Metallic alloy is a subclass of mixture
(subclass Soil Mixture) Mid-level-ontology.kif 19855-19855 Soil is a subclass of mixture
(subclass Humus Mixture) Mid-level-ontology.kif 19916-19916 Humus is a subclass of mixture
(subclass Vomit Mixture) Mid-level-ontology.kif 23650-23650 Vomit is a subclass of mixture
(subclass Colloid Mixture) Mid-level-ontology.kif 23831-23831 Colloid is a subclass of mixture
(subclass Exhaust Mixture) Cars.kif 1076-1076 Exhaust is a subclass of mixture
(subclass HydraulicFluid Mixture) Cars.kif 1464-1464 Hydraulic fluid is a subclass of mixture
(subclass VegetableOil Mixture) Economy.kif 4890-4890 Vegetable oil is a subclass of mixture
(subclass Bauxite Mixture) Economy.kif 5952-5952 Bauxite is a subclass of mixture
(subclass Concrete Mixture) Economy.kif 6312-6312 Concrete is a subclass of mixture
(subclass Fertilizer Mixture) Economy.kif 6396-6396 Fertilizer is a subclass of mixture
(subclass Gemstone Mixture) Economy.kif 6520-6520 Gemstone is a subclass of mixture
(subclass Dough Mixture) Food.kif 1585-1585 Dough is a subclass of mixture
(subclass Gravel Mixture) Geography.kif 5942-5942 Gravel is a subclass of mixture
(subclass ParticulateMatter Mixture) Geography.kif 9007-9007 PM is a subclass of mixture
(subclass Adderall Mixture) Medicine.kif 4766-4766 Mydayis is a subclass of mixture
(subclass RingersLactate Mixture) Medicine.kif 5862-5862 Hartmann's solution is a subclass of mixture

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(partition Substance PureSubstance Mixture) Merge.kif 1115-1115 Substance is exhaustively partitioned into pure substance and mixture
(domain concentration 4 Mixture) Medicine.kif 228-228 The number 4 argument of concentration is an instance of mixture
(domainSubclass mixturePartType 2 Mixture) Medicine.kif 5886-5886 The number 2 argument of mixture part is a subclass of mixture

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


(=>
    (instance ?MIXTURE Mixture)
    (exists (?PURE1 ?PURE2)
        (and
            (instance ?PURE1 PureSubstance)
            (instance ?PURE2 PureSubstance)
            (not
                (equal ?PURE1 ?PURE2))
            (piece ?PURE1 ?MIXTURE)
            (piece ?PURE2 ?MIXTURE))))		 Merge.kif 1263-1271 If X is an instance of mixture, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pure substance (3) Z is an instance of pure substance (4) equal Y (5) Z (6) Y is a piece of X (7) Z is a piece of X
(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))		 Merge.kif 1273-1278 If X is an instance of mixture, Y is a piece of X, and Y is not an instance of mixture, then Y is an instance of pure substance
(=>
    (and
        (instance ?W TapWater)
        (instance ?M Mixture)
        (part ?W ?M)
        (instance ?A Antifreeze)
        (part ?A ?M)
        (attribute ?M Solid)
        (measure ?M
            (MeasureFn ?D CelsiusDegree)))
    (greaterThan 32 ?D))		 Cars.kif 1157-1166 If All of the following hold: (1) X is an instance of tap water (2) Y is an instance of mixture (3) X is a part of Y (4) Z is an instance of antifreeze (5) Z is a part of Y (6) solid is an attribute of Y (7) the measure of Y is W celsius degree(s), then 32 is greater than W
(=>
    (and
        (instance ?M Mixture)
        (instance ?Z UnitOfMeasure)
        (mixtureRatio ?A ?B ?X ?Y ?Z)
        (measure ?M
            (MeasureFn ?T ?Z))
        (part ?A ?M)
        (part ?B ?M)
        (measure ?A
            (MeasureFn ?X ?Z))
        (measure ?B
            (MeasureFn ?Y ?Z)))
    (equal ?T
        (AdditionFn ?X ?Y)))		 Food.kif 1227-1241 If All of the following hold: (1) X is an instance of mixture (2) Y is an instance of unit of measure (3) A Mixture containing Z unit Y of W and V unit Y of U (4) the measure of X is T Y(s) (5) W is a part of X (6) U is a part of X (7) the measure of W is Z Y(s) (8) the measure of U is V Y(s), then equal T and (Z and V)
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))		 Food.kif 1619-1625 If X is a subclass of mixture, every X is initially part of a meat, every X is initially part of a food from a plant, and every X is initially part of a potable water, then equal X and soup stock

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


(=>
    (instance ?FILTER Filter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?M)
            (and
                (instance ?REMOVE Removing)
                (origin ?REMOVE ?M)
                (instance ?M Mixture)
                (instrument ?REMOVE ?FILTER)))))		 Mid-level-ontology.kif 3122-3130 If X is an instance of filter, then X has the purpose there exist Y, Z such that Y is an instance of removing, Y originates at Z, Z is an instance of mixture, and X is an instrument for Y
(=>
    (instance ?S Sieve)
    (hasPurpose ?S
        (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)
            (and
                (instance ?REMOVE Removing)
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (patient ?REMOVE ?SUB)
                (part ?HOLE ?S)
                (instrument ?REMOVE ?HOLE)
                (instance ?A Human)
                (agent ?REMOVE ?A)
                (not
                    (wants ?A ?SUB))))))		 Mid-level-ontology.kif 5139-5154 If X is an instance of sieve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of removing (3) Z is an instance of mixture (4) W is an instance of substance (5) W is a part of Z (6) W is a patient of Y (7) V is a part of X (8) V is an instrument for Y (9) U is an instance of human (10) U is an agent of Y (11) U doesn't want W
(=>
    (instance ?S Strainer)
    (hasPurpose ?S
        (exists (?MIX ?SUB ?LIQUID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (instance ?LIQUID Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Solid)
                (instance ?REMOVE Removing)
                (part ?LIQUID ?MIX)
                (attribute ?LIQUID Liquid)
                (patient ?REMOVE ?SUB)
                (result ?REMOVE ?LIQUID)
                (instrument ?REMOVE ?S)))))		 Mid-level-ontology.kif 5160-5175 If X is an instance of strainer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) W is an instance of substance (5) Z is a part of Y (6) solid is an attribute of Z (7) V is an instance of removing (8) W is a part of Y (9) liquid is an attribute of W (10) Z is a patient of V (11) W is a result of V (12) X is an instrument for V
(=>
    (instance ?C Colander)
    (hasPurpose ?C
        (exists (?MIX ?SUB ?SOLID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Liquid)
                (instance ?REMOVE Removing)
                (patient ?REMOVE ?SUB)
                (instance ?SOLID Substance)
                (part ?SOLID ?MIX)
                (attribute ?SOLID Solid)
                (result ?REMOVE ?SOLID)
                (instrument ?REMOVE ?C)))))		 Mid-level-ontology.kif 5181-5196 If X is an instance of colander, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) Z is a part of Y (5) liquid is an attribute of Z (6) V is an instance of removing (7) Z is a patient of V (8) W is an instance of substance (9) W is a part of Y (10) solid is an attribute of W (11) W is a result of V (12) X is an instrument for V
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER FreshWater)
                (part ?OIL ?MIX)))))		 Mid-level-ontology.kif 10179-10187 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
(=>
    (instance ?FILTER AirFilter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?AIR ?NONAIR ?MIX)
            (and
                (instance ?REMOVE Removing)
                (part ?AIR ?MIX)
                (instance ?AIR Air)
                (not
                    (instance ?NONAIR Air))
                (attribute ?NONAIR Solid)
                (patient ?REMOVE ?NONAIR)
                (part ?NONAIR ?MIX)
                (origin ?REMOVE ?MIX)
                (instance ?MIX Mixture)
                (instrument ?REMOVE ?FILTER)))))		 Cars.kif 880-895 If X is an instance of air filter, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of removing (3) Z is a part of V (4) Z is an instance of air (5) W is not an instance of air (6) solid is an attribute of W (7) W is a patient of Y (8) W is a part of V (9) Y originates at V (10) V is an instance of mixture (11) X is an instrument for Y
(=>
    (instance ?DEVICE FoodBlender)
    (hasPurpose ?DEVICE
        (exists (?COOKING ?RES)
            (and
                (instance ?COOKING Cooking)
                (instance ?RES Mixture)
                (instance ?RES Beverage)
                (located ?COOKING ?DEVICE)
                (result ?COOKING ?RES)))))		 HouseholdAppliances.kif 860-869 If X is an instance of food blender, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of beverage, Y is located at X, and Z is a result of Y
(=>
    (instance ?DEVICE FoodMixer)
    (hasPurpose ?DEVICE
        (exists (?COOKING ?RES)
            (and
                (instance ?COOKING Cooking)
                (instance ?RES Mixture)
                (instance ?RES PreparedFood)
                (result ?COOKING ?RES)))))		 HouseholdAppliances.kif 878-886 If X is an instance of food mixer, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of food, and Z is a result of Y


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