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
-------------------------


s__documentation(s__Mixture,s__ChineseLanguage,'" Mixture 是两个或以上、以各种比例组成 - 各自保留自身 特定性质的 PureSubstanceMixture 的成分可以通过物理途径分离,即不曾建立或打破成分之间的化学键。 例如:空气、彻底溶于水中的食盐、牛奶、木材和混凝土中。"')

chinese_format.kif 1621-1623
s__documentation(s__Mixture,s__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
s__externalImage(s__Mixture,'"http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg"')

pictureList.kif 6707-6707
s__subclass(s__Mixture,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__Mixture,s__Class)

Merge.kif 1104-1104 Mixture is a subclass of substance

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


s__subclass(s__Bauxite,s__Mixture)

s__instance(s__Bauxite,s__Class)

s__instance(s__Mixture,s__Class)

Economy.kif 4482-4482 Bauxite is a subclass of mixture
s__instance(s__Colloid,s__Class)

s__subclass(s__Colloid,s__Mixture)

s__instance(s__Mixture,s__Class)

Geography.kif 6939-6939 Colloid is a subclass of mixture
s__instance(s__Concrete,s__Class)

s__subclass(s__Concrete,s__Mixture)

s__instance(s__Mixture,s__Class)

Economy.kif 4783-4783 Concrete is a subclass of mixture
s__instance(s__Detergent,s__Class)

s__instance(s__Mixture,s__Class)

s__subclass(s__Detergent,s__Mixture)

Mid-level-ontology.kif 8411-8411 Detergent is a subclass of mixture
s__instance(s__Dough,s__Class)

s__subclass(s__Dough,s__Mixture)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 20827-20827 Dough is a subclass of mixture
s__instance(s__Exhaust,s__Class)

s__instance(s__Mixture,s__Class)

s__subclass(s__Exhaust,s__Mixture)

Cars.kif 1139-1139 Exhaust is a subclass of mixture
s__subclass(s__Fertilizer,s__Mixture)

s__instance(s__Fertilizer,s__Class)

s__instance(s__Mixture,s__Class)

Economy.kif 4863-4863 Fertilizer is a subclass of mixture
s__instance(s__GasMixture,s__Class)

s__subclass(s__GasMixture,s__Mixture)

s__instance(s__Mixture,s__Class)

Merge.kif 14093-14093 Gas mixture is a subclass of mixture
s__instance(s__Gemstone,s__Class)

s__subclass(s__Gemstone,s__Mixture)

s__instance(s__Mixture,s__Class)

Economy.kif 4984-4984 Gemstone is a subclass of mixture
s__subclass(s__Glass,s__Mixture)

s__instance(s__Glass,s__Class)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 8489-8489 Glass is a subclass of mixture
s__subclass(s__Glue,s__Mixture)

s__instance(s__Glue,s__Class)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 8476-8476 Glue is a subclass of mixture
s__instance(s__Gravel,s__Class)

s__subclass(s__Gravel,s__Mixture)

s__instance(s__Mixture,s__Class)

Geography.kif 4256-4256 Gravel is a subclass of mixture
s__instance(s__GunPowder,s__Class)

s__subclass(s__GunPowder,s__Mixture)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 1188-1188 Gun powder is a subclass of mixture
s__subclass(s__Humus,s__Mixture)

s__instance(s__Mixture,s__Class)

s__instance(s__Humus,s__Class)

Mid-level-ontology.kif 17229-17229 Humus is a subclass of mixture
s__instance(s__HydraulicFluid,s__Class)

s__subclass(s__HydraulicFluid,s__Mixture)

s__instance(s__Mixture,s__Class)

Cars.kif 1580-1580 Hydraulic fluid is a subclass of mixture
s__subclass(s__LiquidMixture,s__Mixture)

s__instance(s__LiquidMixture,s__Class)

s__instance(s__Mixture,s__Class)

Merge.kif 14067-14067 Liquid mixture is a subclass of mixture
s__subclass(s__MetallicAlloy,s__Mixture)

s__instance(s__MetallicAlloy,s__Class)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 8492-8492 Metallic alloy is a subclass of mixture
s__subclass(s__ParticulateMatter,s__Mixture)

s__instance(s__ParticulateMatter,s__Class)

s__instance(s__Mixture,s__Class)

Geography.kif 6961-6961 PM is a subclass of mixture
s__instance(s__Sewage,s__Class)

s__subclass(s__Sewage,s__Mixture)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 2091-2091 Sewage is a subclass of mixture
s__instance(s__Soda,s__Class)

s__subclass(s__Soda,s__Mixture)

s__instance(s__Mixture,s__Class)

Food.kif 849-849 Soda is a subclass of mixture
s__instance(s__Soil,s__Class)

s__subclass(s__Soil,s__Mixture)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 17168-17168 Soil is a subclass of mixture
s__subclass(s__Vomit,s__Mixture)

s__instance(s__Vomit,s__Class)

s__instance(s__Mixture,s__Class)

Mid-level-ontology.kif 20595-20595 Vomit is a subclass of mixture
s__termFormat(s__ChineseLanguage,s__Mixture,'"混合物"')

chinese_format.kif 828-828
s__termFormat(s__EnglishLanguage,s__Mixture,'"mixture"')

english_format.kif 858-858

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


s__partition__3(s__Substance,s__PureSubstance,s__Mixture)

Merge.kif 964-964 Substance is exhaustively partitioned into pure substance and mixture

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


( ! [V__SUBSTANCE,V__MIXTURE] :
   ((s__instance(V__SUBSTANCE,s__Substance) =>
       (((s__instance(V__MIXTURE,s__Mixture) &
             s__piece(V__SUBSTANCE,V__MIXTURE)
           &
           ~(s__instance(V__SUBSTANCE,s__Mixture)))
         =>
         (s__instance(V__SUBSTANCE,s__PureSubstance)))))
   )
)

Merge.kif 1122-1127
( ! [V__A,V__D,V__W,V__M] :
   ((s__instance(V__D,s__RealNumber) =>
       (((s__instance(V__W,s__Water) &
             s__instance(V__M,s__Mixture) &
             s__part(V__W,V__M)
           &
           s__instance(V__A,s__Antifreeze) &
           s__part(V__A,V__M)
         &
         s__attribute(V__M,s__Solid) &
         s__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree)))
     =>
     (s__greaterThan(n__32,V__D)))))
)
)

Cars.kif 1219-1228
( ! [V__MIXTURE] :
   ((s__instance(V__MIXTURE,s__Mixture) =>
       (( ? [V__PURE1, V__PURE2] :
           ((s__instance(V__PURE1,s__PureSubstance) &
               s__instance(V__PURE2,s__PureSubstance) &
               ~((V__PURE1 = V__PURE2))
               &
               s__piece(V__PURE1,V__MIXTURE)
             &
             s__piece(V__PURE2,V__MIXTURE))))))
)
)

Merge.kif 1112-1120

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2461-2469
( ! [V__OIL] :
   ((s__instance(V__OIL,s__Oil) =>
       (~(( ? [V__MIX, V__WATER] :
             ((s__instance(V__MIX,s__Mixture) &
                 s__part(V__WATER,V__MIX)
               &
               s__instance(V__WATER,s__Water) &
               s__part(V__OIL,V__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