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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Colloid
Colloid(colloid)colloid, colloidal_gel, colloidal_solution, colloidal_suspension, dispersed_particles, dispersed_phase, dispersing_medium, dispersing_phase, dispersion_medium, emulsion, gel, silica_gel, silver_protein, sol, 胶体

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


(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture,它是由一种极为微小、 按照溫特瓦分級,颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") Geography.kif 6739-6741
(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 6734-6737
(subclass Colloid Mixture) Geography.kif 6747-6747 Colloid is a subclass of mixture

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


(subclass Aerosal Colloid) Geography.kif 6909-6909 Aerosal is a subclass of colloid
(termFormat ChineseLanguage Colloid "胶体") Geography.kif 6745-6745 "胶体" is the printable form of colloid in ChineseLanguage
(termFormat EnglishLanguage Colloid "colloid") Geography.kif 6743-6743 "colloid" is the printable form of colloid in english language

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 6911-6920
(=>
    (instance ?Z Colloid)
    (exists (?P ?S)
        (and
            (part ?P ?Z)
            (attribute ?P Insoluble)
            (approximateDiameter ?P
                (MeasureFn ?S Nanometer))
            (greaterThan 977 ?S)
            (greaterThan ?S 0.95))))
Geography.kif 6749-6758


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