GasMixture![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint GasMixture LiquidMixture) | Merge.kif 14890-14890 | GasMixture と LiquidMixture は disjoint では |
(documentation GasMixture ChineseLanguage "这是任何能够满足以下两个条件的 Mixture: 即是主要由 Gas 组成,和除了在 Mixture 中的 Gas 外,其他成分是由悬浮在 Gas 以细颗粒的形状组成。") | chinese_format.kif 3465-3466 | GasMixture と LiquidMixture は disjoint では |
(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 | GasMixture と LiquidMixture は disjoint では |
(externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol_India.jpg") | pictureList.kif 4479-4479 | GasMixture と LiquidMixture は disjoint では |
(roomTempState GasMixture Gas) | Mid-level-ontology.kif 33547-33547 | roomTempState GasMixture and Gas |
(subclass GasMixture Mixture) | Merge.kif 14889-14889 | GasMixture は 混合物 の subclass では |
appearance as argument number 2 |
![]() |
(subclass Aerosal GasMixture) | Geography.kif 7879-7879 | Aerosal は GasMixture の subclass では |
(subclass Air GasMixture) | Merge.kif 14948-14948 | Air は GasMixture の subclass では |
(subclass Cloud GasMixture) | Merge.kif 14903-14903 | Cloud は GasMixture の subclass では |
(subclass FuelVapor GasMixture) | Cars.kif 67-67 | FuelVapor は GasMixture の subclass では |
(subclass Suspension GasMixture) | Merge.kif 14884-14884 | Suspension は GasMixture の subclass では |
(termFormat ChineseLanguage GasMixture "混合气体") | domainEnglishFormat.kif 25543-25543 | Suspension は GasMixture の subclass では |
(termFormat ChineseTraditionalLanguage GasMixture "混合氣體") | domainEnglishFormat.kif 25542-25542 | Suspension は GasMixture の subclass では |
(termFormat EnglishLanguage GasMixture "gas mixture") | domainEnglishFormat.kif 25541-25541 | Suspension は GasMixture の subclass では |
antecedent |
![]() |
(=> (instance ?MIX GasMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Gas)))) |
Merge.kif 14896-14901 |
consequent |
![]() |
(=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 21219-21226 |
|
(=> (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 |
![]() |
![]() |