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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Mixture
Mixture(混合物)

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 1194-1198
(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 6705-6705
(subclass Mixture Substance) Merge.kif 1192-1192 混合物物質subclass では

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


(subclass Adderall Mixture) Medicine.kif 4752-4752 Adderall混合物subclass では
(subclass Bauxite Mixture) Economy.kif 5943-5943 Bauxite混合物subclass では
(subclass Colloid Mixture) Mid-level-ontology.kif 23174-23174 Colloid混合物subclass では
(subclass Concrete Mixture) Economy.kif 6293-6293 Concrete混合物subclass では
(subclass Detergent Mixture) Mid-level-ontology.kif 10038-10038 Detergent混合物subclass では
(subclass Dough Mixture) Food.kif 1606-1606 Dough混合物subclass では
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust混合物subclass では
(subclass Fertilizer Mixture) Economy.kif 6373-6373 Fertilizer混合物subclass では
(subclass GasMixture Mixture) Merge.kif 14889-14889 GasMixture混合物subclass では
(subclass Gemstone Mixture) Economy.kif 6496-6496 Gemstone混合物subclass では
(subclass Glass Mixture) Mid-level-ontology.kif 10116-10116 Glass混合物subclass では
(subclass Glue Mixture) Mid-level-ontology.kif 10103-10103 Glue混合物subclass では
(subclass Gravel Mixture) Geography.kif 4680-4680 Gravel混合物subclass では
(subclass GunPowder Mixture) Mid-level-ontology.kif 1473-1473 GunPowder混合物subclass では
(subclass Humus Mixture) Mid-level-ontology.kif 19553-19553 Humus混合物subclass では
(subclass HydraulicFluid Mixture) Cars.kif 1586-1586 HydraulicFluid混合物subclass では
(subclass LiquidMixture Mixture) Merge.kif 14862-14862 LiquidMixture混合物subclass では
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 10119-10119 MetallicAlloy混合物subclass では
(subclass ParticulateMatter Mixture) Geography.kif 7740-7740 ParticulateMatter混合物subclass では
(subclass PreparedFood Mixture) Food.kif 309-309 PreparedFood混合物subclass では
(subclass RingersLactate Mixture) Medicine.kif 5848-5848 RingersLactate混合物subclass では
(subclass Sewage Mixture) Mid-level-ontology.kif 2616-2616 Sewage混合物subclass では
(subclass Soil Mixture) Mid-level-ontology.kif 19492-19492 Soil混合物subclass では
(subclass VegetableOil Mixture) Economy.kif 4895-4895 VegetableOil混合物subclass では
(subclass Vomit Mixture) Mid-level-ontology.kif 23062-23062 Vomit混合物subclass では

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 227-227 concentration の数値 4 引数は 混合物instance では
(domainSubclass mixturePartType 2 Mixture) Medicine.kif 5872-5872 mixturePartType の数値 2 引数は 混合物subclass では
(partition Substance PureSubstance Mixture) Merge.kif 1052-1052 物質純物質 + 混合物exhaustively partitioned

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


(=>
    (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 1249-1263
(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1210-1215
(=>
    (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 1219-1228
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1639-1645
(=>
    (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 1200-1208

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 5015-5030
(=>
    (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 2986-2994
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER FreshWater)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 10018-10026
(=>
    (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 4973-4988
(=>
    (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 4994-5009


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