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 1103-1107
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 6707-6707
(subclass Mixture Substance) Merge.kif 1101-1101 subclass Mixture and Substance

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


(subclass Bauxite Mixture) Economy.kif 4479-4479 subclass Bauxite and Mixture
(subclass Colloid Mixture) Geography.kif 6747-6747 subclass Colloid and Mixture
(subclass Concrete Mixture) Economy.kif 4780-4780 subclass Concrete and Mixture
(subclass Detergent Mixture) Mid-level-ontology.kif 8490-8490 subclass Detergent and Mixture
(subclass Dough Mixture) Mid-level-ontology.kif 19363-19363 subclass Dough and Mixture
(subclass Exhaust Mixture) Cars.kif 1130-1130 subclass Exhaust and Mixture
(subclass Fertilizer Mixture) Economy.kif 4860-4860 subclass Fertilizer and Mixture
(subclass GasMixture Mixture) Merge.kif 13689-13689 subclass GasMixture and Mixture
(subclass Gemstone Mixture) Economy.kif 4978-4978 subclass Gemstone and Mixture
(subclass Glass Mixture) Mid-level-ontology.kif 8565-8565 subclass Glass and Mixture
(subclass Glue Mixture) Mid-level-ontology.kif 8553-8553 subclass Glue and Mixture
(subclass Gravel Mixture) Geography.kif 4197-4197 subclass Gravel and Mixture
(subclass GunPowder Mixture) Mid-level-ontology.kif 1639-1639 subclass GunPowder and Mixture
(subclass Humus Mixture) Mid-level-ontology.kif 15712-15712 subclass Humus and Mixture
(subclass HydraulicFluid Mixture) Cars.kif 1576-1576 subclass HydraulicFluid and Mixture
(subclass LiquidMixture Mixture) Merge.kif 13663-13663 subclass LiquidMixture and Mixture
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8568-8568 subclass MetallicAlloy and Mixture
(subclass ParticulateMatter Mixture) Geography.kif 6769-6769 subclass ParticulateMatter and Mixture
(subclass Sewage Mixture) Mid-level-ontology.kif 2613-2613 subclass Sewage and Mixture
(subclass Soda Mixture) Food.kif 864-864 subclass Soda and Mixture
(subclass Soil Mixture) Mid-level-ontology.kif 15648-15648 subclass Soil and Mixture
(subclass Vomit Mixture) Mid-level-ontology.kif 19112-19112 subclass Vomit and Mixture
(termFormat ChineseLanguage Mixture "混合物") chinese_format.kif 828-828
(termFormat EnglishLanguage Mixture "mixture") english_format.kif 863-863

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


(partition Substance PureSubstance Mixture) Merge.kif 961-961 partition Substance, PureSubstance and Mixture

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1119-1124
(=>
    (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 1224-1233
(=>
    (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 1109-1117

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 934-949
(=>
    (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 2985-2993
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8471-8478


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