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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mixture
Mixture(Mistura)

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 Mistura e' uma sub-classe de Substancia

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


(subclass Adderall Mixture) Medicine.kif 4745-4745 Adderall e' uma sub-classe de Mistura
(subclass Bauxite Mixture) Economy.kif 5601-5601 Bauxite e' uma sub-classe de Mistura
(subclass Colloid Mixture) Mid-level-ontology.kif 21556-21556 Colloid e' uma sub-classe de Mistura
(subclass Concrete Mixture) Economy.kif 5895-5895 Concrete e' uma sub-classe de Mistura
(subclass Detergent Mixture) Mid-level-ontology.kif 8831-8831 Detergent e' uma sub-classe de Mistura
(subclass Dough Mixture) Food.kif 1600-1600 Dough e' uma sub-classe de Mistura
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust e' uma sub-classe de Mistura
(subclass Fertilizer Mixture) Economy.kif 5975-5975 Fertilizer e' uma sub-classe de Mistura
(subclass GasMixture Mixture) Merge.kif 14758-14758 GasMixture e' uma sub-classe de Mistura
(subclass Gemstone Mixture) Economy.kif 6098-6098 Gemstone e' uma sub-classe de Mistura
(subclass Glass Mixture) Mid-level-ontology.kif 8909-8909 Glass e' uma sub-classe de Mistura
(subclass Glue Mixture) Mid-level-ontology.kif 8896-8896 Glue e' uma sub-classe de Mistura
(subclass Gravel Mixture) Geography.kif 4440-4440 Gravel e' uma sub-classe de Mistura
(subclass GunPowder Mixture) Mid-level-ontology.kif 1249-1249 GunPowder e' uma sub-classe de Mistura
(subclass Humus Mixture) Mid-level-ontology.kif 17981-17981 Humus e' uma sub-classe de Mistura
(subclass HydraulicFluid Mixture) Cars.kif 1585-1585 HydraulicFluid e' uma sub-classe de Mistura
(subclass LiquidMixture Mixture) Merge.kif 14731-14731 LiquidMixture e' uma sub-classe de Mistura
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8912-8912 MetallicAlloy e' uma sub-classe de Mistura
(subclass ParticulateMatter Mixture) Geography.kif 7403-7403 ParticulateMatter e' uma sub-classe de Mistura
(subclass PreparedFood Mixture) Food.kif 309-309 PreparedFood e' uma sub-classe de Mistura
(subclass RingersLactate Mixture) Medicine.kif 5836-5836 RingersLactate e' uma sub-classe de Mistura
(subclass Sewage Mixture) Mid-level-ontology.kif 2153-2153 Sewage e' uma sub-classe de Mistura
(subclass Soil Mixture) Mid-level-ontology.kif 17920-17920 Soil e' uma sub-classe de Mistura
(subclass VegetableOil Mixture) Economy.kif 4557-4557 VegetableOil e' uma sub-classe de Mistura
(subclass Vomit Mixture) Mid-level-ontology.kif 21444-21444 Vomit e' uma sub-classe de Mistura

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 O argumento numero 4 de concentration e' uma instancia de Mistura
(domainSubclass mixturePartType 2 Mixture) Medicine.kif 5859-5859 O argumento numero 2 de mixturePartType e' uma sub-classe de Mistura
(partition Substance PureSubstance Mixture) Merge.kif 1042-1042 O conceito Substancia e' completamente decomposto em Substancia Pura + Mistura

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 1248-1262
(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1200-1205
(=>
    (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 1633-1639
(=>
    (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 4570-4585
(=>
    (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 2523-2531
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER FreshWater)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8811-8819
(=>
    (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 4528-4543
(=>
    (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 4549-4564


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