| GasMixture(混合氣體)
| |
| appearance as argument number 1 |
|
|
| (disjoint GasMixture LiquidMixture) | Merge.kif 14737-14737 | 不相交的 混合氣體 and 液體混合物 |
| (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 14738-14741 | |
| (externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol-India.jpg") | pictureList.kif 4480-4480 | |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 31602-31602 | roomTempState 混合氣體 and 加油站 |
| (subclass GasMixture Mixture) | Merge.kif 14736-14736 | 子類 混合氣體 and Mixture |
| appearance as argument number 2 |
|
|
| (subclass Aerosal GasMixture) | Geography.kif 7542-7542 | 子類 Aerosal and 混合氣體 |
| (subclass Air GasMixture) | Merge.kif 14795-14795 | 子類 空氣 and 混合氣體 |
| (subclass Cloud GasMixture) | Merge.kif 14750-14750 | 子類 雲 and 混合氣體 |
| (subclass FuelVapor GasMixture) | Cars.kif 67-67 | 子類 FuelVapor and 混合氣體 |
| (subclass Suspension GasMixture) | Merge.kif 14731-14731 | 子類 懸掛 and 混合氣體 |
| (termFormat ChineseLanguage GasMixture "混合气体") | domainEnglishFormat.kif 25532-25532 | |
| (termFormat ChineseTraditionalLanguage GasMixture "混合氣體") | domainEnglishFormat.kif 25531-25531 | |
| (termFormat EnglishLanguage GasMixture "gas mixture") | domainEnglishFormat.kif 25530-25530 |
| 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 14743-14748 |
| consequent |
|
|
| (=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 19648-19655 | |
| (=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER))))) |
MilitaryDevices.kif 1368-1376 | |
| (=> (instance ?S Spraying) (exists (?G ?L ?M) (and (attribute ?G Gas) (attribute ?L Liquid) (instance ?M GasMixture) (part ?M ?G) (part ?M ?L) (patient ?S ?G) (patient ?S ?L) (result ?S ?M)))) |
Cars.kif 1092-1103 |
|
|
|