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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidMixture

Sigma KEE - LiquidMixture
LiquidMixture
liquid_mixture

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


(documentation LiquidMixture ChineseLanguage "这是任何能够满足以下两个条件的 Mixture: 即是主要由 Liquid 组成,和除了在 Mixture 中的 Liquid 外,其他成分是由悬浮在 Liquid 以细颗粒的形状 组成。") Merge.kif 14769-14771
(documentation LiquidMixture EnglishLanguage "Any Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a Liquid and any component other than Liquid in the Mixture is in the form of fine particles which are suspended in the Liquid.") Merge.kif 14765-14768
(externalImage LiquidMixture "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ WaterAndFlourSuspensionLiquid.jpg") pictureList.kif 2485-2485
(partition LiquidMixture Solution Suspension) Merge.kif 14764-14764
(subclass LiquidMixture Mixture) Merge.kif 14763-14763

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


(disjoint GasMixture LiquidMixture) Merge.kif 14798-14798
(subclass Solution LiquidMixture) Merge.kif 14780-14780
(subclass Suspension LiquidMixture) Merge.kif 14790-14790
(termFormat EnglishLanguage LiquidMixture "liquid mixture") domainEnglishFormat.kif 6193-6193

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


(=>
    (instance ?MIX LiquidMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Liquid))))
Merge.kif 14773-14778

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


(=>
    (instance ?C Chromatography)
    (exists (?M)
        (and
            (resource ?C ?M)
            (or
                (instance ?M LiquidMixture)
                (instance ?M GasMixture)))))
Mid-level-ontology.kif 17367-17374
(=>
    (instance ?MC MolotovCocktail)
    (exists (?LIQUID)
        (and
            (instance ?LIQUID LiquidMixture)
            (part ?LIQUID ?MC)
            (capability Combustion patient ?LIQUID))))
MilitaryDevices.kif 1291-1297


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners