| 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 1106-1110 | |
| (externalImage Mixture "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ WaterAndFlourSuspensionLiquid.jpg") | pictureList.kif 6707-6707 | |
| (subclass Mixture Substance) | Merge.kif 1104-1104 |
| appearance as argument number 2 |
|
|
| (subclass Bauxite Mixture) | Economy.kif 4479-4479 | |
| (subclass Colloid Mixture) | Geography.kif 6840-6840 | |
| (subclass Concrete Mixture) | Economy.kif 4780-4780 | |
| (subclass Detergent Mixture) | Mid-level-ontology.kif 8492-8492 | |
| (subclass Dough Mixture) | Mid-level-ontology.kif 19369-19369 | |
| (subclass Exhaust Mixture) | Cars.kif 1130-1130 | |
| (subclass Fertilizer Mixture) | Economy.kif 4860-4860 | |
| (subclass GasMixture Mixture) | Merge.kif 13709-13709 | |
| (subclass Gemstone Mixture) | Economy.kif 4978-4978 | |
| (subclass Glass Mixture) | Mid-level-ontology.kif 8567-8567 | |
| (subclass Glue Mixture) | Mid-level-ontology.kif 8555-8555 | |
| (subclass Gravel Mixture) | Geography.kif 4197-4197 | |
| (subclass GunPowder Mixture) | Mid-level-ontology.kif 1639-1639 | |
| (subclass Humus Mixture) | Mid-level-ontology.kif 15714-15714 | |
| (subclass HydraulicFluid Mixture) | Cars.kif 1576-1576 | |
| (subclass LiquidMixture Mixture) | Merge.kif 13683-13683 | |
| (subclass MetallicAlloy Mixture) | Mid-level-ontology.kif 8570-8570 | |
| (subclass ParticulateMatter Mixture) | Geography.kif 6862-6862 | |
| (subclass Sewage Mixture) | Mid-level-ontology.kif 2613-2613 | |
| (subclass Soda Mixture) | Food.kif 864-864 | |
| (subclass Soil Mixture) | Mid-level-ontology.kif 15650-15650 | |
| (subclass Vomit Mixture) | Mid-level-ontology.kif 19118-19118 | |
| (termFormat ChineseLanguage Mixture "混合物") | chinese_format.kif 828-828 | |
| (termFormat EnglishLanguage Mixture "mixture") | english_format.kif 863-863 |
| appearance as argument number 3 |
|
|
| (partition Substance PureSubstance Mixture) | Merge.kif 964-964 |
| antecedent |
|
|
| (=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance)) |
Merge.kif 1122-1127 | |
| (=> (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 1224-1233 | |
| (=> (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 1112-1120 |
| 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 934-949 | |
| (=> (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 Water) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 8473-8480 |
|
|
|