| GasMixture(gas mixture)
| | aerosol, vapor, vapour |
| appearance as argument number 1 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 13673-13673 | Gas mixture is disjoint from liquid mixture |
| (documentation GasMixture ChineseLanguage "这是任何能够满足以下两个条件的 Mixture: 即是主要由 Gas 组成，和除了在 Mixture 中的 Gas 外，其他成分是由悬浮在 Gas 以细颗粒的形状组成。") | chinese_format.kif 3465-3466 | |
| (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 13674-13677 | |
| (externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol-India.jpg") | pictureList.kif 4481-4481 | |
| (subclass GasMixture Mixture) | Merge.kif 13672-13672 | Gas mixture is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (subclass Air GasMixture) | Merge.kif 13731-13731 | Air is a subclass of gas mixture |
| (subclass Cloud GasMixture) | Merge.kif 13686-13686 | Cloud is a subclass of gas mixture |
| (subclass FuelVapor GasMixture) | Cars.kif 67-67 | Fuel vapor is a subclass of gas mixture |
| (termFormat ChineseLanguage GasMixture "混合气体") | domainEnglishFormat.kif 25459-25459 | |
| (termFormat ChineseTraditionalLanguage GasMixture "混合氣體") | domainEnglishFormat.kif 25458-25458 | |
| (termFormat EnglishLanguage GasMixture "gas mixture") | domainEnglishFormat.kif 25457-25457 |
| antecedent |
|
|
| (=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1379-1389 |
|
| (=> (instance ?MIX GasMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Gas)))) |
Merge.kif 13679-13684 |
|
| consequent |
|
|
|
|
|