Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GasMixture
GasMixture

appearance as argument number 1
-------------------------


(disjoint GasMixture LiquidMixture) Merge.kif 13572-13572 disjoint GasMixture and LiquidMixture
(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 13573-13576
(externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol-India.jpg") pictureList.kif 4481-4481 externalImage GasMixture and "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Aerosol-India.jpg"
(subclass GasMixture Mixture) Merge.kif 13571-13571 subclass GasMixture and Mixture

appearance as argument number 2
-------------------------


(subclass Air GasMixture) Merge.kif 13630-13630 subclass Air and GasMixture
(subclass Cloud GasMixture) Merge.kif 13585-13585 subclass Cloud and GasMixture
(subclass FuelVapor GasMixture) Cars.kif 67-67 subclass FuelVapor and GasMixture
(termFormat ChineseLanguage GasMixture "混合气体") domainEnglishFormat.kif 25465-25465 termFormat ChineseLanguage, GasMixture and "混合气体"
(termFormat ChineseTraditionalLanguage GasMixture "混合氣體") domainEnglishFormat.kif 25464-25464 termFormat ChineseTraditionalLanguage, GasMixture and "混合氣體"
(termFormat EnglishLanguage GasMixture "gas mixture") domainEnglishFormat.kif 25463-25463 termFormat EnglishLanguage, GasMixture and "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 13578-13583

consequent
-------------------------


(=>
    (instance ?C Chromatography)
    (exists (?M)
        (and
            (resource ?C ?M)
            (or
                (instance ?M LiquidMixture)
                (instance ?M GasMixture)))))
Mid-level-ontology.kif 17426-17433
(=>
    (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 1082-1093


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners