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 1106-1110
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 6707-6707
(subclass Mixture Substance) Merge.kif 1104-1104 混合物物质subclass

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


(subclass Bauxite Mixture) Economy.kif 4482-4482 矾土混合物subclass
(subclass Colloid Mixture) Geography.kif 6939-6939 胶体混合物subclass
(subclass Concrete Mixture) Economy.kif 4783-4783 具体混合物subclass
(subclass Detergent Mixture) Mid-level-ontology.kif 8411-8411 洗涤剂混合物subclass
(subclass Dough Mixture) Mid-level-ontology.kif 20827-20827 面团混合物subclass
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust混合物subclass
(subclass Fertilizer Mixture) Economy.kif 4863-4863 肥料混合物subclass
(subclass GasMixture Mixture) Merge.kif 14093-14093 混合气体混合物subclass
(subclass Gemstone Mixture) Economy.kif 4984-4984 宝石混合物subclass
(subclass Glass Mixture) Mid-level-ontology.kif 8489-8489 玻璃混合物subclass
(subclass Glue Mixture) Mid-level-ontology.kif 8476-8476 混合物subclass
(subclass Gravel Mixture) Geography.kif 4256-4256 砾石混合物subclass
(subclass GunPowder Mixture) Mid-level-ontology.kif 1188-1188 枪粉混合物subclass
(subclass Humus Mixture) Mid-level-ontology.kif 17229-17229 腐殖质混合物subclass
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580 HydraulicFluid混合物subclass
(subclass LiquidMixture Mixture) Merge.kif 14067-14067 液体混合物混合物subclass
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8492-8492 金属合金混合物subclass
(subclass ParticulateMatter Mixture) Geography.kif 6961-6961 悬浮颗粒混合物subclass
(subclass Sewage Mixture) Mid-level-ontology.kif 2091-2091 污水混合物subclass
(subclass Soda Mixture) Food.kif 849-849 Soda混合物subclass
(subclass Soil Mixture) Mid-level-ontology.kif 17168-17168 混合物subclass
(subclass Vomit Mixture) Mid-level-ontology.kif 20595-20595 Vomit混合物subclass
(termFormat ChineseLanguage Mixture "混合物") chinese_format.kif 828-828
(termFormat EnglishLanguage Mixture "mixture") english_format.kif 858-858

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


(partition Substance PureSubstance Mixture) Merge.kif 964-964 物质 详尽无遗地 partition純物质混合物

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1122-1127
(=>
    (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
(=>
    (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 1112-1120

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


(=>
    (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 2461-2469
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8391-8399


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