| 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 1184-1188 | |
| (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 6707-6707 | |
| (subclass Mixture Substance) | Merge.kif 1182-1182 | Mixture is a subclass of substance |
| appearance as argument number 2 |
|
|
| (subclass Bauxite Mixture) | Economy.kif 5009-5009 | Bauxite is a subclass of mixture |
| (subclass Colloid Mixture) | Mid-level-ontology.kif 21531-21531 | Colloid is a subclass of mixture |
| (subclass Concrete Mixture) | Economy.kif 5303-5303 | Concrete is a subclass of mixture |
| (subclass Detergent Mixture) | Mid-level-ontology.kif 8799-8799 | Detergent is a subclass of mixture |
| (subclass Dough Mixture) | Mid-level-ontology.kif 21509-21509 | Dough is a subclass of mixture |
| (subclass Exhaust Mixture) | Cars.kif 1139-1139 | Exhaust is a subclass of mixture |
| (subclass Fertilizer Mixture) | Economy.kif 5383-5383 | Fertilizer is a subclass of mixture |
| (subclass GasMixture Mixture) | Merge.kif 14626-14626 | Gas mixture is a subclass of mixture |
| (subclass Gemstone Mixture) | Economy.kif 5504-5504 | Gemstone is a subclass of mixture |
| (subclass Glass Mixture) | Mid-level-ontology.kif 8877-8877 | Glass is a subclass of mixture |
| (subclass Glue Mixture) | Mid-level-ontology.kif 8864-8864 | Glue is a subclass of mixture |
| (subclass Gravel Mixture) | Geography.kif 4344-4344 | Gravel is a subclass of mixture |
| (subclass GunPowder Mixture) | Mid-level-ontology.kif 1221-1221 | Gun powder is a subclass of mixture |
| (subclass Humus Mixture) | Mid-level-ontology.kif 17829-17829 | 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 14599-14599 | Liquid mixture is a subclass of mixture |
| (subclass MetallicAlloy Mixture) | Mid-level-ontology.kif 8880-8880 | Metallic alloy is a subclass of mixture |
| (subclass Sewage Mixture) | Mid-level-ontology.kif 2125-2125 | Sewage is a subclass of mixture |
| (subclass Soda Mixture) | Food.kif 850-850 | Soda is a subclass of mixture |
| (subclass Soil Mixture) | Mid-level-ontology.kif 17768-17768 | Soil is a subclass of mixture |
| (subclass VegetableOil Mixture) | Economy.kif 4235-4235 | Vegetable oil is a subclass of mixture |
| (subclass Vomit Mixture) | Mid-level-ontology.kif 21275-21275 | Vomit is a subclass of mixture |
| (termFormat ChineseLanguage Mixture "混合物") | chinese_format.kif 828-828 | |
| (termFormat EnglishLanguage Mixture "mixture") | english_format.kif 858-858 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (partition Substance PureSubstance Mixture) | Merge.kif 1042-1042 | Substance is exhaustively partitioned into pure substance and mixture |
| antecedent |
|
|
| consequent |
|
|
|
|
|