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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mixture

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

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


(subclass Bauxite Mixture) Economy.kif 4638-4638
(subclass Colloid Mixture) Geography.kif 7109-7109
(subclass Concrete Mixture) Economy.kif 4944-4944
(subclass Detergent Mixture) Mid-level-ontology.kif 8792-8792
(subclass Dough Mixture) Mid-level-ontology.kif 21458-21458
(subclass Exhaust Mixture) Cars.kif 1139-1139
(subclass Fertilizer Mixture) Economy.kif 5024-5024
(subclass GasMixture Mixture) Merge.kif 14592-14592
(subclass Gemstone Mixture) Economy.kif 5145-5145
(subclass Glass Mixture) Mid-level-ontology.kif 8870-8870
(subclass Glue Mixture) Mid-level-ontology.kif 8857-8857
(subclass Gravel Mixture) Geography.kif 4351-4351
(subclass GunPowder Mixture) Mid-level-ontology.kif 1216-1216
(subclass Humus Mixture) Mid-level-ontology.kif 17802-17802
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580
(subclass LiquidMixture Mixture) Merge.kif 14566-14566
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8873-8873
(subclass ParticulateMatter Mixture) Geography.kif 7131-7131
(subclass Sewage Mixture) Mid-level-ontology.kif 2118-2118
(subclass Soda Mixture) Food.kif 850-850
(subclass Soil Mixture) Mid-level-ontology.kif 17741-17741
(subclass Vomit Mixture) Mid-level-ontology.kif 21224-21224
(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 1031-1031

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1189-1194
(=>
    (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 1179-1187

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 4530-4545
(=>
    (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 2488-2496
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8772-8780
(=>
    (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 4488-4503
(=>
    (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 4509-4524


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