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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mixture

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


(documentation Mixture ChineseLanguage " Mixture 是两个或以上、以各种比例组成 - 各自保留自身 特定性质的 PureSubstanceMixture 的成分可以通过物理途径分离,即不曾建立或打破成分之间的化学键。 例如:空气、彻底溶于水中的食盐、牛奶、木材和混凝土中。") chinese_format.kif 1621-1623
(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 1184-1188
(documentation Mixture JapaneseLanguage "Mixture は二つ以上の PureSubstance で、 さま ざまな割合で結合される - それぞれが固有のプロパティを保持している。 Mixture のコンポーネントは、 物理的な手段で分離できる、すなわち化学結合の作成と切断なしである。例:水、牛乳、木材、コンクリート で完全に溶けた空気と食卓塩。") japanese_format.kif 202-205
(documentation Mixture SpanishLanguage "Una Mixture (mezcla) es dos o más PureSubstances (sustancias puras) combinadas en proporciones variadas, cada una reteniendo sus propias propiedades. Los componentes se puede separar por medios físicos, es decir sin formarse y romperse los enlaces químicos. Por ejemplo, el aire, una disolución de sal en agua, leche, madera y hormigón.") spanish_format.kif 240-244
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 6706-6706
(subclass Mixture Substance) Merge.kif 1182-1182 Mixture is a subclass of substance

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


(subclass Bauxite Mixture) Economy.kif 5484-5484 Bauxite is a subclass of mixture
(subclass Colloid Mixture) Mid-level-ontology.kif 21462-21462 Colloid is a subclass of mixture
(subclass Concrete Mixture) Economy.kif 5778-5778 Concrete is a subclass of mixture
(subclass Detergent Mixture) Mid-level-ontology.kif 8804-8804 Detergent is a subclass of mixture
(subclass Dough Mixture) Food.kif 1020-1020 Dough is a subclass of mixture
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust is a subclass of mixture
(subclass Fertilizer Mixture) Economy.kif 5858-5858 Fertilizer is a subclass of mixture
(subclass GasMixture Mixture) Merge.kif 14629-14629 Gas mixture is a subclass of mixture
(subclass Gemstone Mixture) Economy.kif 5979-5979 Gemstone is a subclass of mixture
(subclass Glass Mixture) Mid-level-ontology.kif 8882-8882 Glass is a subclass of mixture
(subclass Glue Mixture) Mid-level-ontology.kif 8869-8869 Glue is a subclass of mixture
(subclass Gravel Mixture) Geography.kif 4347-4347 Gravel is a subclass of mixture
(subclass GunPowder Mixture) Mid-level-ontology.kif 1221-1221 Gun powder is a subclass of mixture
(subclass Humus Mixture) Mid-level-ontology.kif 17894-17894 Humus is a subclass of mixture
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580 Hydraulic fluid is a subclass of mixture
(subclass LiquidMixture Mixture) Merge.kif 14602-14602 Liquid mixture is a subclass of mixture
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8885-8885 Metallic alloy is a subclass of mixture
(subclass ParticulateMatter Mixture) Geography.kif 7310-7310 PM is a subclass of mixture
(subclass PreparedFood Mixture) Food.kif 211-211 Prepared food is a subclass of mixture
(subclass Sewage Mixture) Mid-level-ontology.kif 2125-2125 Sewage is a subclass of mixture
(subclass Soil Mixture) Mid-level-ontology.kif 17833-17833 Soil is a subclass of mixture
(subclass VegetableOil Mixture) Economy.kif 4487-4487 Vegetable oil is a subclass of mixture
(subclass Vomit Mixture) Mid-level-ontology.kif 21350-21350 Vomit is a subclass of mixture
(termFormat ChineseLanguage Mixture "混合物") chinese_format.kif 828-828

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain concentration 4 Mixture) Medicine.kif 224-224 The number 4 argument of concentration is an instance of mixture
(partition Substance PureSubstance Mixture) Merge.kif 1042-1042 Substance is exhaustively partitioned into pure substance and mixture

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1200-1205
(=>
    (and
        (instance ?W Water)
        (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 1219-1228
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S Water))
    (equal ?S SoupStock))
Food.kif 1053-1059
(=>
    (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 1190-1198

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


(=>
    (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 4542-4557
(=>
    (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 943-958
(=>
    (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 2495-2503
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8784-8792
(=>
    (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
                    (desires ?A ?SUB))))))
Mid-level-ontology.kif 4500-4515
(=>
    (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 4521-4536


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 is open source software produced by Articulate Software and its partners