| 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 14568-14571 | |
| (externalImage LiquidMixture "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ WaterAndFlourSuspensionLiquid.jpg") | pictureList.kif 2485-2485 | |
| (partition LiquidMixture Solution Suspension) | Merge.kif 14567-14567 | Liquid mixture is exhaustively partitioned into solution and suspension |
| (roomTempState LiquidMixture Liquid) | Mid-level-ontology.kif 31532-31532 | roomTempState liquid mixture and liquid |
| (subclass LiquidMixture Mixture) | Merge.kif 14566-14566 | Liquid mixture is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 14593-14593 | Gas mixture is disjoint from liquid mixture |
| (subclass Solution LiquidMixture) | Merge.kif 14580-14580 | Solution is a subclass of liquid mixture |
| (subclass Suspension LiquidMixture) | Merge.kif 14587-14587 | Suspension is a subclass of liquid mixture |
| (termFormat ChineseLanguage LiquidMixture "液体混合物") | domainEnglishFormat.kif 34627-34627 | |
| (termFormat ChineseTraditionalLanguage LiquidMixture "液體混合物") | domainEnglishFormat.kif 34626-34626 | |
| (termFormat EnglishLanguage LiquidMixture "liquid mixture") | domainEnglishFormat.kif 34625-34625 |
| antecedent |
|
|
| (=> (instance ?MIX LiquidMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Liquid)))) |
Merge.kif 14573-14578 |
|
| consequent |
|
|
| (=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 19430-19437 |
|
| (=> (instance ?MC MolotovCocktail) (exists (?LIQUID) (and (instance ?LIQUID LiquidMixture) (part ?LIQUID ?MC) (capability Combustion patient ?LIQUID)))) |
MilitaryDevices.kif 1292-1298 |
|
|
|
|