TreeView 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 1136-1140
(externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg")	pictureList.kif 6707-6707
(subclass Mixture Substance)	Merge.kif 1134-1134	Mixture is a subclass of substance

appearance as argument number 2

(subclass Bauxite Mixture)	Economy.kif 4632-4632	Bauxite is a subclass of mixture
(subclass Colloid Mixture)	Geography.kif 7097-7097	Colloid is a subclass of mixture
(subclass Concrete Mixture)	Economy.kif 4938-4938	Concrete is a subclass of mixture
(subclass Detergent Mixture)	Mid-level-ontology.kif 8435-8435	Detergent is a subclass of mixture
(subclass Dough Mixture)	Mid-level-ontology.kif 20972-20972	Dough is a subclass of mixture
(subclass Exhaust Mixture)	Cars.kif 1139-1139	Exhaust is a subclass of mixture
(subclass Fertilizer Mixture)	Economy.kif 5018-5018	Fertilizer is a subclass of mixture
(subclass GasMixture Mixture)	Merge.kif 14465-14465	Gas mixture is a subclass of mixture
(subclass Gemstone Mixture)	Economy.kif 5139-5139	Gemstone is a subclass of mixture
(subclass Glass Mixture)	Mid-level-ontology.kif 8513-8513	Glass is a subclass of mixture
(subclass Glue Mixture)	Mid-level-ontology.kif 8500-8500	Glue is a subclass of mixture
(subclass Gravel Mixture)	Geography.kif 4340-4340	Gravel is a subclass of mixture
(subclass GunPowder Mixture)	Mid-level-ontology.kif 1206-1206	Gun powder is a subclass of mixture
(subclass Humus Mixture)	Mid-level-ontology.kif 17374-17374	Humus is a subclass of mixture
(subclass HydraulicFluid Mixture)	Cars.kif 1580-1580	Hydraulic fluid is a subclass of mixture
(subclass LiquidMixture Mixture)	Merge.kif 14439-14439	Liquid mixture is a subclass of mixture
(subclass MetallicAlloy Mixture)	Mid-level-ontology.kif 8516-8516	Metallic alloy is a subclass of mixture
(subclass ParticulateMatter Mixture)	Geography.kif 7119-7119	PM is a subclass of mixture
(subclass Sewage Mixture)	Mid-level-ontology.kif 2108-2108	Sewage is a subclass of mixture
(subclass Soda Mixture)	Food.kif 849-849	Soda is a subclass of mixture
(subclass Soil Mixture)	Mid-level-ontology.kif 17313-17313	Soil is a subclass of mixture
(subclass Vomit Mixture)	Mid-level-ontology.kif 20740-20740	Vomit is a subclass of mixture
(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 994-994

Substance is exhaustively partitioned into pure substance and mixture

antecedent

(=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1152-1157	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 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	If an object is an instance of 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
(=> (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 1142-1150	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 ?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 2478-2486	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 Water) (part ?OIL ?MIX)))))	Mid-level-ontology.kif 8415-8423	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 water and the object is a part of the other object

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

KB Term:			Term intersection

English Word: