|
|
   LiquidMixture
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LiquidMixture ChineseLanguage "这是任何能够满足以下两个条件的 Mixture: 即是主要由 Liquid 组成，和除了在 Mixture 中的 Liquid 外，其他成分是由悬浮在 Liquid 以细颗粒的形状 组成。") | chinese_format.kif 3457-3459 | |
| (documentation LiquidMixture EnglishLanguage "Any Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a Liquid and any component other than Liquid in the Mixture is in the form of fine particles which are suspended in the Liquid.") | Merge.kif 14711-14714 | |
| (externalImage LiquidMixture "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ WaterAndFlourSuspensionLiquid.jpg") | pictureList.kif 2484-2484 | |
| (partition LiquidMixture Solution Suspension) | Merge.kif 14710-14710 | 液体混合物 详尽无遗地 partition 成 溶液 和 悬挂 |
| (roomTempState LiquidMixture Liquid) | Mid-level-ontology.kif 31619-31619 | roomTempState 液体混合物 and 液体 |
| (subclass LiquidMixture Mixture) | Merge.kif 14709-14709 | 液体混合物 是 混合物 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 14737-14737 | 混合气体 和 % 2 是 disjoint |
| (subclass Emulsion LiquidMixture) | Mid-level-ontology.kif 21573-21573 | 乳胶 是 液体混合物 的 subclass |
| (subclass SoilSolution LiquidMixture) | Geography.kif 4324-4324 | 土壤溶液 是 液体混合物 的 subclass |
| (subclass SolMixture LiquidMixture) | Mid-level-ontology.kif 21627-21627 | 溶胶 是 液体混合物 的 subclass |
| (subclass Solution LiquidMixture) | Merge.kif 14723-14723 | 溶液 是 液体混合物 的 subclass |
| (subclass Suspension LiquidMixture) | Merge.kif 14730-14730 | 悬挂 是 液体混合物 的 subclass |
| (termFormat ChineseLanguage LiquidMixture "液体混合物") | domainEnglishFormat.kif 34649-34649 | |
| (termFormat ChineseTraditionalLanguage LiquidMixture "液體混合物") | domainEnglishFormat.kif 34648-34648 | |
| (termFormat EnglishLanguage LiquidMixture "liquid mixture") | domainEnglishFormat.kif 34647-34647 |
| antecedent |
|
|
| (=> (and (instance ?L LiquidMixture) (attribute ?L Immiscible) (equal ?L ?X)) (instance ?X Emulsion)) |
Mid-level-ontology.kif 21586-21591 | |
| (=> (and (instance ?L LiquidMixture) (attribute ?L Miscible) (equal ?L ?X)) (instance ?X Solution)) |
Mid-level-ontology.kif 21597-21602 | |
| (=> (instance ?MIX LiquidMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Liquid)))) |
Merge.kif 14716-14721 |
| consequent |
|
|
|
|
|
