Mixture - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Mixture ChineseLanguage " Mixture 是两个或以上、以各种比例组成 - 各自保留自身特定性质的 PureSubstance。 Mixture 的成分可以通过物理途径分离，即不曾建立或打破成分之间的化学键。例如：空气、彻底溶于水中的食盐、牛奶、木材和混凝土中。")	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 1177-1181
(documentation Mixture JapaneseLanguage "Mixture は二つ以上の PureSubstance で、さまざまな割合で結合される - それぞれが固有のプロパティを保持している。　Mixture のコンポーネントは、物理的な手段で分離できる、すなわち化学結合の作成と切断なしである。例：水、牛乳、木材、コンクリートで完全に溶けた空気と食卓塩。")	japanese_format.kif 202-205
(documentation Mixture SpanishLanguage "Una Mixture (mezcla) es dos o más PureSubstances (sustancias puras) combinadas en proporciones variadas, cada una reteniendo sus propias propiedades. Los componentes se puede separar por medios físicos, es decir sin formarse y romperse los enlaces químicos. Por ejemplo, el aire, una disolución de sal en agua, leche, madera y hormigón.")	spanish_format.kif 240-244
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg")	pictureList.kif 6705-6705
(subclass Mixture Substance)	Merge.kif 1175-1175	Mixture is a subclass of substance

appearance as argument number 2

(subclass Adderall Mixture)	Medicine.kif 4733-4733	Mydayis is a subclass of mixture
(subclass Bauxite Mixture)	Economy.kif 5811-5811	Bauxite is a subclass of mixture
(subclass Colloid Mixture)	Mid-level-ontology.kif 22646-22646	Colloid is a subclass of mixture
(subclass Concrete Mixture)	Economy.kif 6105-6105	Concrete is a subclass of mixture
(subclass Detergent Mixture)	Mid-level-ontology.kif 9605-9605	Detergent is a subclass of mixture
(subclass Dough Mixture)	Food.kif 1600-1600	Dough is a subclass of mixture
(subclass Exhaust Mixture)	Cars.kif 1139-1139	Exhaust is a subclass of mixture
(subclass Fertilizer Mixture)	Economy.kif 6185-6185	Fertilizer is a subclass of mixture
(subclass GasMixture Mixture)	Merge.kif 14810-14810	Gas mixture is a subclass of mixture
(subclass Gemstone Mixture)	Economy.kif 6308-6308	Gemstone is a subclass of mixture
(subclass Glass Mixture)	Mid-level-ontology.kif 9683-9683	Glass is a subclass of mixture
(subclass Glue Mixture)	Mid-level-ontology.kif 9670-9670	Glue is a subclass of mixture
(subclass Gravel Mixture)	Geography.kif 4509-4509	Gravel is a subclass of mixture
(subclass GunPowder Mixture)	Mid-level-ontology.kif 1242-1242	Gun powder is a subclass of mixture
(subclass Humus Mixture)	Mid-level-ontology.kif 19071-19071	Humus is a subclass of mixture
(subclass HydraulicFluid Mixture)	Cars.kif 1586-1586	Hydraulic fluid is a subclass of mixture
(subclass LiquidMixture Mixture)	Merge.kif 14783-14783	Liquid mixture is a subclass of mixture
(subclass MetallicAlloy Mixture)	Mid-level-ontology.kif 9686-9686	Metallic alloy is a subclass of mixture
(subclass ParticulateMatter Mixture)	Geography.kif 7471-7471	PM is a subclass of mixture
(subclass PreparedFood Mixture)	Food.kif 309-309	Prepared food is a subclass of mixture
(subclass RingersLactate Mixture)	Medicine.kif 5824-5824	Hartmann's solution is a subclass of mixture
(subclass Sewage Mixture)	Mid-level-ontology.kif 2219-2219	Sewage is a subclass of mixture
(subclass Soil Mixture)	Mid-level-ontology.kif 19010-19010	Soil is a subclass of mixture
(subclass VegetableOil Mixture)	Economy.kif 4767-4767	Vegetable oil is a subclass of mixture
(subclass Vomit Mixture)	Mid-level-ontology.kif 22534-22534	Vomit is a subclass of mixture

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain concentration 4 Mixture)	Medicine.kif 227-227	The number 4 argument of concentration is an instance of mixture
(domainSubclass mixturePartType 2 Mixture)	Medicine.kif 5847-5847	The number 2 argument of mixturePartType is a subclass of mixture
(partition Substance PureSubstance Mixture)	Merge.kif 1035-1035	Substance is exhaustively partitioned into pure substance and mixture

antecedent

(=> (and (instance ?M Mixture) (instance ?Z UnitOfMeasure) (mixtureRatio ?A ?B ?X ?Y ?Z) (measure ?M (MeasureFn ?T ?Z)) (part ?A ?M) (part ?B ?M) (measure ?A (MeasureFn ?X ?Z)) (measure ?B (MeasureFn ?Y ?Z))) (equal ?T (AdditionFn ?X ?Y)))	Food.kif 1248-1262	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then the third real number is equal to (the real number and the other real number)
(=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1193-1198	If a substance is an instance of mixture and another substance is a piece of the substance and the other substance is not an instance of mixture, then the other substance is an instance of pure substance
(=> (and (instance ?W TapWater) (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	If an object is an instance of tap water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s), then 32 is greater than the real number
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
(=> (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 1183-1191	If a substance is an instance of mixture, then there exist another substance and a third substance such that the other substance is an instance of pure substance and the third substance is an instance of pure substance and the other substance is not equal to the third substance and the other substance is a piece of the substance and the third substance is a piece of the substance

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 4638-4653	If a physical is an instance of colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
(=> (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	If a physical is an instance of air filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
(=> (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 2589-2597	If a physical is an instance of filter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of removing and the entity originates at the other entity and the other entity is an instance of mixture and the physical is an instrument for the entity
(=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX)))))	Mid-level-ontology.kif 9585-9593	If an object is an instance of oil, then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of freshwater and the object is a part of the other object
(=> (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 4596-4611	If a physical is an instance of sieve, then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB
(=> (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 4617-4632	If a physical is an instance of strainer, then the physical has the purpose there exist an entity, the physicalUB,, , a third entity and a fourth entity such that the entity is an instance of mixture and the physicalUB is an instance of substance and the third entity is an instance of substance and the physicalUB is a part of the entity and solid is an attribute of the physicalUB and the fourth entity is an instance of removing and the third entity is a part of the entity and liquid is an attribute of the third entity and the physicalUB is a patient of the fourth entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity

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

KB Term:			Term intersection

English Word: