| Mixture
| |
| 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 1179-1183 | |
| (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 1177-1177 |
| appearance as argument number 2 |
|
|
| (subclass Adderall Mixture) | Medicine.kif 4752-4752 | |
| (subclass Bauxite Mixture) | Economy.kif 5943-5943 | |
| (subclass Colloid Mixture) | Mid-level-ontology.kif 23191-23191 | |
| (subclass Concrete Mixture) | Economy.kif 6293-6293 | |
| (subclass Detergent Mixture) | Mid-level-ontology.kif 10056-10056 | |
| (subclass Dough Mixture) | Food.kif 1606-1606 | |
| (subclass Exhaust Mixture) | Cars.kif 1139-1139 | |
| (subclass Fertilizer Mixture) | Economy.kif 6373-6373 | |
| (subclass GasMixture Mixture) | Merge.kif 14874-14874 | |
| (subclass Gemstone Mixture) | Economy.kif 6496-6496 | |
| (subclass Glass Mixture) | Mid-level-ontology.kif 10134-10134 | |
| (subclass Glue Mixture) | Mid-level-ontology.kif 10121-10121 | |
| (subclass Gravel Mixture) | Geography.kif 4510-4510 | |
| (subclass GunPowder Mixture) | Mid-level-ontology.kif 1472-1472 | |
| (subclass Humus Mixture) | Mid-level-ontology.kif 19570-19570 | |
| (subclass HydraulicFluid Mixture) | Cars.kif 1586-1586 | |
| (subclass LiquidMixture Mixture) | Merge.kif 14847-14847 | |
| (subclass MetallicAlloy Mixture) | Mid-level-ontology.kif 10137-10137 | |
| (subclass ParticulateMatter Mixture) | Geography.kif 7473-7473 | |
| (subclass PreparedFood Mixture) | Food.kif 309-309 | |
| (subclass RingersLactate Mixture) | Medicine.kif 5848-5848 | |
| (subclass Sewage Mixture) | Mid-level-ontology.kif 2615-2615 | |
| (subclass Soil Mixture) | Mid-level-ontology.kif 19509-19509 | |
| (subclass VegetableOil Mixture) | Economy.kif 4895-4895 | |
| (subclass Vomit Mixture) | Mid-level-ontology.kif 23079-23079 | |
| 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 | |
| (domainSubclass mixturePartType 2 Mixture) | Medicine.kif 5872-5872 | |
| (partition Substance PureSubstance Mixture) | Merge.kif 1037-1037 |
| 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 1249-1263 | |
| (=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance)) |
Merge.kif 1195-1200 | |
| (=> (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 | |
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1639-1645 | |
| (=> (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 1185-1193 |
| 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 5034-5049 | |
| (=> (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 | |
| (=> (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 2985-2993 | |
| (=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 10036-10044 | |
| (=> (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 4992-5007 | |
| (=> (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 5013-5028 |
|
|
|