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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GasMixture

Sigma KEE - GasMixture
GasMixture(gas mixture)
aerosol, vapor, vapour

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


s__disjoint(s__GasMixture,s__LiquidMixture)

Merge.kif 14094-14094 Gas mixture is disjoint from liquid mixture
s__documentation(s__GasMixture,s__ChineseLanguage,'"这是任何能够满足以下两个条件的 Mixture: 即是主要由 Gas 组成,和除了在 Mixture 中的 Gas 外,其他成分是由悬浮在 Gas 以细颗粒的形状组成。"')

chinese_format.kif 3465-3466
s__documentation(s__GasMixture,s__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 14095-14098
s__externalImage(s__GasMixture,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol-India.jpg"')

pictureList.kif 4481-4481
s__instance(s__GasMixture,s__Class)

s__subclass(s__GasMixture,s__Mixture)

s__instance(s__Mixture,s__Class)

Merge.kif 14093-14093 Gas mixture is a subclass of mixture

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


s__instance(s__Air,s__Class)

s__subclass(s__Air,s__GasMixture)

s__instance(s__GasMixture,s__Class)

Merge.kif 14152-14152 Air is a subclass of gas mixture
s__subclass(s__Cloud,s__GasMixture)

s__instance(s__Cloud,s__Class)

s__instance(s__GasMixture,s__Class)

Merge.kif 14107-14107 Cloud is a subclass of gas mixture
s__subclass(s__FuelVapor,s__GasMixture)

s__instance(s__FuelVapor,s__Class)

s__instance(s__GasMixture,s__Class)

Cars.kif 67-67 Fuel vapor is a subclass of gas mixture
s__termFormat(s__ChineseLanguage,s__GasMixture,'"混合气体"')

domainEnglishFormat.kif 25527-25527
s__termFormat(s__ChineseTraditionalLanguage,s__GasMixture,'"混合氣體"')

domainEnglishFormat.kif 25526-25526
s__termFormat(s__EnglishLanguage,s__GasMixture,'"gas mixture"')

domainEnglishFormat.kif 25525-25525

antecedent
-------------------------


( ! [V__FILTER,V__REMOVE,V__GAS,V__PARTICLE] :
   ((s__instance(V__PARTICLE,s__Object) =>
       (((s__instance(V__FILTER,s__AbsoluteFilter) &
             s__instance(V__REMOVE,s__Removing) &
             s__origin(V__REMOVE,V__GAS)
           &
           s__instance(V__GAS,s__GasMixture) &
           s__patient(V__REMOVE,V__PARTICLE)
         &
         s__attribute(V__PARTICLE,s__Solid) &
         s__instrument(V__REMOVE,V__FILTER))
     =>
     (~(s__part(V__PARTICLE,V__GAS))))))
)
)

MilitaryDevices.kif 1379-1389
( ! [V__MIX] :
   ((s__instance(V__MIX,s__GasMixture) =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Object) &
               (s__part(V__PART,V__MIX)
               &
               s__attribute(V__PART,s__Gas)))))))
   )
)

Merge.kif 14100-14105

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


( ! [V__C] :
   ((s__instance(V__C,s__Chromatography) =>
       (( ? [V__M] :
           ((s__resource(V__C,V__M)
             &
             (s__instance(V__M,s__LiquidMixture) |
               s__instance(V__M,s__GasMixture)))))))
   )
)

Mid-level-ontology.kif 18853-18860
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1368-1376
( ! [V__S] :
   ((s__instance(V__S,s__Spraying) =>
       (( ? [V__G, V__L, V__M] :
           ((s__instance(V__G,s__Object) &
               s__instance(V__L,s__Object) &
               (s__attribute(V__G,s__Gas) &
                 s__attribute(V__L,s__Liquid) &
                 s__instance(V__M,s__GasMixture) &
                 s__part(V__M,V__G)
               &
               s__part(V__M,V__L)
             &
             s__patient(V__S,V__G)
           &
           s__patient(V__S,V__L)
         &
         s__result(V__S,V__M)))))))
)
)

Cars.kif 1092-1103


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners