| GasMixture(gas mixture)
| | aerosol, vapor, vapour |
| appearance as argument number 1 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 14783-14783 | 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 14784-14787 | Gas mixture is disjoint from liquid mixture |
| (externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol-India.jpg") | pictureList.kif 4480-4480 | Gas mixture is disjoint from liquid mixture |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 31867-31867 | roomTempState gas mixture and gas |
| (subclass GasMixture Mixture) | Merge.kif 14782-14782 | Gas mixture is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (subclass Aerosal GasMixture) | Geography.kif 7542-7542 | Aerosal is a subclass of gas mixture |
| (subclass Air GasMixture) | Merge.kif 14841-14841 | Air is a subclass of gas mixture |
| (subclass Cloud GasMixture) | Merge.kif 14796-14796 | 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 14777-14777 | Suspension is a subclass of gas mixture |
| (termFormat ChineseLanguage GasMixture "混合气体") | domainEnglishFormat.kif 25566-25566 | Suspension is a subclass of gas mixture |
| (termFormat ChineseTraditionalLanguage GasMixture "混合氣體") | domainEnglishFormat.kif 25565-25565 | Suspension is a subclass of gas mixture |
| (termFormat EnglishLanguage GasMixture "gas mixture") | domainEnglishFormat.kif 25564-25564 | Suspension is a subclass of gas mixture |
| 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 14789-14794 |
|
| consequent |
|
|
|
|
|