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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Colloid

Sigma KEE - Colloid
Colloid

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


(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture,它是由一种极为微小、 按照溫特瓦分級,颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") Geography.kif 7089-7091
(documentation Colloid EnglishLanguage "A Colloid is a Mixture in which microscopically dispersed Insoluble particles, between 0.95 and 977 Nanometers in approximateDiameter on the Wentworth Scale are suspended throughout another Substance.") Geography.kif 7084-7087
(subclass Colloid Mixture) Geography.kif 7097-7097

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


(subclass Aerosal Colloid) Geography.kif 7259-7259
(termFormat ChineseLanguage Colloid "胶体") Geography.kif 7095-7095
(termFormat EnglishLanguage Colloid "colloid") Geography.kif 7093-7093

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


(=>
    (and
        (instance ?C Colloid)
        (part ?P ?C)
        (or
            (attribute ?P Solid)
            (attribute ?P Liquid))
        (instance ?AIR Air)
        (part ?AIR ?C))
    (instance ?C Aerosal))
Geography.kif 7261-7270
(=>
    (instance ?Z Colloid)
    (exists (?P ?S)
        (and
            (part ?P ?Z)
            (attribute ?P Insoluble)
            (approximateDiameter ?P
                (MeasureFn ?S Nanometer))
            (greaterThan 977.0 ?S)
            (greaterThan ?S 0.95))))
Geography.kif 7099-7108


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