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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mixture
Mixture(mixture)
18-karat_gold, 22-karat_gold, Admiralty_Metal, Admiralty_brass, Alnico, Babbitt_metal, Ballistite, Britannia_metal, Carboloy, Damascus_steel, Damask_steel, Duralumin, Elinvar, Eureka, German_silver, Greek_fire, Inconel, Invar, Monel_metal, Monell_metal, Muntz_metal, Ni-hard, Ni-hard_iron, Ni-resist, Ni-resist_iron, Nichrome, Paris_green, Permalloy, Rochelle_powder, Rochelle_salt, Rochelle_salts, Saint-John's-bread, Seidlitz_powder, Seidlitz_powders, Stellite, TNT, Tiffany_glass, Tobin_bronze, Vaseline, Wood's_alloy, Wood's_metal, additive, adhesive_plaster, adobe, adobe_brick, afterdamp, agar, air_cushion, air_gas, alkali...

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 1108-1112
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 6707-6707 "http://upload.wikimedia.org/wikipedia/commons/d/dd/ WaterAndFlourSuspensionLiquid.jpg" is a URL depicting mixture
(subclass Mixture Substance) Merge.kif 1106-1106 Mixture is a subclass of substance

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


(subclass Bauxite Mixture) Economy.kif 4479-4479 Bauxite is a subclass of mixture
(subclass Colloid Mixture) Geography.kif 6747-6747 Colloid is a subclass of mixture
(subclass Concrete Mixture) Economy.kif 4780-4780 Concrete is a subclass of mixture
(subclass Detergent Mixture) Mid-level-ontology.kif 8506-8506 Detergent is a subclass of mixture
(subclass Dough Mixture) Mid-level-ontology.kif 19230-19230 Dough is a subclass of mixture
(subclass Exhaust Mixture) Cars.kif 1129-1129 Exhaust is a subclass of mixture
(subclass Fertilizer Mixture) Economy.kif 4860-4860 Fertilizer is a subclass of mixture
(subclass GasMixture Mixture) Merge.kif 13538-13538 Gas mixture is a subclass of mixture
(subclass Gemstone Mixture) Economy.kif 4978-4978 Gemstone is a subclass of mixture
(subclass Glass Mixture) Mid-level-ontology.kif 8581-8581 Glass is a subclass of mixture
(subclass Glue Mixture) Mid-level-ontology.kif 8569-8569 Glue is a subclass of mixture
(subclass Gravel Mixture) Geography.kif 4197-4197 Gravel is a subclass of mixture
(subclass GunPowder Mixture) Mid-level-ontology.kif 1635-1635 Gun powder is a subclass of mixture
(subclass Humus Mixture) Mid-level-ontology.kif 15678-15678 Humus is a subclass of mixture
(subclass HydraulicFluid Mixture) Cars.kif 1575-1575 Hydraulic fluid is a subclass of mixture
(subclass LiquidMixture Mixture) Merge.kif 13512-13512 Liquid mixture is a subclass of mixture
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8584-8584 Metallic alloy is a subclass of mixture
(subclass ParticulateMatter Mixture) Geography.kif 6769-6769 PM is a subclass of mixture
(subclass Sewage Mixture) Mid-level-ontology.kif 2609-2609 Sewage is a subclass of mixture
(subclass Soda Mixture) Food.kif 908-908 Soda is a subclass of mixture
(subclass Soil Mixture) Mid-level-ontology.kif 15614-15614 Soil is a subclass of mixture
(subclass Vomit Mixture) Mid-level-ontology.kif 18980-18980 Vomit is a subclass of mixture
(termFormat ChineseLanguage Mixture "混合物") chinese_format.kif 828-828 "混合物" is the printable form of mixture in ChineseLanguage
(termFormat EnglishLanguage Mixture "mixture") english_format.kif 863-863 "mixture" is the printable form of mixture in english language

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


(partition Substance PureSubstance Mixture) Merge.kif 966-966 Substance is exhaustively partitioned into pure substance and mixture

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (part ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1124-1129
(=>
    (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 1223-1232
(=>
    (instance ?MIXTURE Mixture)
    (exists (?PURE1 ?PURE2)
        (and
            (instance ?PURE1 PureSubstance)
            (instance ?PURE2 PureSubstance)
            (not
                (equal ?PURE1 ?PURE2))
            (part ?PURE1 ?MIXTURE)
            (part ?PURE2 ?MIXTURE))))
Merge.kif 1114-1122

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 933-948
(=>
    (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 2981-2989
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8487-8494


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners