LiquidMixture(liquid mixture)![]() |
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 14681-14684 | |
(externalImage LiquidMixture "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ WaterAndFlourSuspensionLiquid.jpg") | pictureList.kif 2484-2484 | |
(partition LiquidMixture Solution Suspension) | Merge.kif 14680-14680 | Liquid mixture is exhaustively partitioned into solution and suspension |
(roomTempState LiquidMixture Liquid) | Mid-level-ontology.kif 31536-31536 | roomTempState liquid mixture and liquid |
(subclass LiquidMixture Mixture) | Merge.kif 14679-14679 | Liquid mixture is a subclass of mixture |
appearance as argument number 2 |
![]() |
(disjoint GasMixture LiquidMixture) | Merge.kif 14707-14707 | Gas mixture is disjoint from liquid mixture |
(subclass Emulsion LiquidMixture) | Mid-level-ontology.kif 21522-21522 | Emulsion is a subclass of liquid mixture |
(subclass SoilSolution LiquidMixture) | Geography.kif 4324-4324 | Soil solution is a subclass of liquid mixture |
(subclass SolMixture LiquidMixture) | Mid-level-ontology.kif 21576-21576 | Sol mixture is a subclass of liquid mixture |
(subclass Solution LiquidMixture) | Merge.kif 14693-14693 | Solution is a subclass of liquid mixture |
(subclass Suspension LiquidMixture) | Merge.kif 14700-14700 | Suspension is a subclass of liquid mixture |
(termFormat ChineseLanguage LiquidMixture "液体混合物") | domainEnglishFormat.kif 34655-34655 | |
(termFormat ChineseTraditionalLanguage LiquidMixture "液體混合物") | domainEnglishFormat.kif 34654-34654 | |
(termFormat EnglishLanguage LiquidMixture "liquid mixture") | domainEnglishFormat.kif 34653-34653 |
antecedent |
![]() |
(=> (and (instance ?L LiquidMixture) (attribute ?L Immiscible) (equal ?L ?X)) (instance ?X Emulsion)) |
Mid-level-ontology.kif 21535-21540 |
|
(=> (and (instance ?L LiquidMixture) (attribute ?L Miscible) (equal ?L ?X)) (instance ?X Solution)) |
Mid-level-ontology.kif 21546-21551 |
|
(=> (instance ?MIX LiquidMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Liquid)))) |
Merge.kif 14686-14691 |
|
consequent |
![]() |
![]() |
![]() |