| GasMixture(gas mixture)
| | aerosol, vapor, vapour |
| appearance as argument number 1 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 14890-14890 | Gas mixture is disjoint from liquid mixture |
| (documentation GasMixture ChineseLanguage "这是任何能够满足以下两个条件的 Mixture: 即是主要由 Gas 组成，和除了在 Mixture 中的 Gas 外，其他成分是由悬浮在 Gas 以细颗粒的形状组成。") | chinese_format.kif 3465-3466 | Gas mixture is disjoint from liquid mixture |
| (documentation GasMixture EnglishLanguage "Any Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a Gas and any component other than Gas in the Mixture is in the form of fine particles which are suspended in the Gas.") | Merge.kif 14891-14894 | Gas mixture is disjoint from liquid mixture |
| (externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol_India.jpg") | pictureList.kif 4479-4479 | Gas mixture is disjoint from liquid mixture |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 33547-33547 | room temperature state gas mixture and gas |
| (subclass GasMixture Mixture) | Merge.kif 14889-14889 | Gas mixture is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (subclass Aerosal GasMixture) | Geography.kif 7846-7846 | Aerosal is a subclass of gas mixture |
| (subclass Air GasMixture) | Merge.kif 14948-14948 | Air is a subclass of gas mixture |
| (subclass Cloud GasMixture) | Merge.kif 14903-14903 | Cloud is a subclass of gas mixture |
| (subclass FuelVapor GasMixture) | Cars.kif 67-67 | Fuel vapor is a subclass of gas mixture |
| (subclass Suspension GasMixture) | Merge.kif 14884-14884 | Suspension is a subclass of gas mixture |
| (termFormat ChineseLanguage GasMixture "混合气体") | domainEnglishFormat.kif 25543-25543 | Suspension is a subclass of gas mixture |
| (termFormat ChineseTraditionalLanguage GasMixture "混合氣體") | domainEnglishFormat.kif 25542-25542 | Suspension is a subclass of gas mixture |
| (termFormat EnglishLanguage GasMixture "gas mixture") | domainEnglishFormat.kif 25541-25541 | Suspension is a subclass of gas mixture |
| antecedent |
|
|
| (=> (instance ?MIX GasMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Gas)))) |
Merge.kif 14896-14901 |
|
| consequent |
|
|
|
|
|