| GasMixture(gas mixture)
| | aerosol, vapor, vapour |
| appearance as argument number 1 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 14875-14875 | 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 14876-14879 | 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 33306-33306 | room temperature state gas mixture and gas |
| (subclass GasMixture Mixture) | Merge.kif 14874-14874 | Gas mixture is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (subclass Aerosal GasMixture) | Geography.kif 7612-7612 | Aerosal is a subclass of gas mixture |
| (subclass Air GasMixture) | Merge.kif 14933-14933 | Air is a subclass of gas mixture |
| (subclass Cloud GasMixture) | Merge.kif 14888-14888 | 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 14869-14869 | Suspension is a subclass of gas mixture |
| (termFormat ChineseLanguage GasMixture "混合气体") | domainEnglishFormat.kif 25560-25560 | Suspension is a subclass of gas mixture |
| (termFormat ChineseTraditionalLanguage GasMixture "混合氣體") | domainEnglishFormat.kif 25559-25559 | Suspension is a subclass of gas mixture |
| (termFormat EnglishLanguage GasMixture "gas mixture") | domainEnglishFormat.kif 25558-25558 | 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 14881-14886 |
|
| consequent |
|
|
|
|
|