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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Colloid

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 中。") Mid-level-ontology.kif 21553-21555
(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.") Mid-level-ontology.kif 21549-21552
(roomTempState Colloid Liquid) Mid-level-ontology.kif 31586-31586 roomTempState colloid and liquid
(subclass Colloid Mixture) Mid-level-ontology.kif 21557-21557 Colloid is a subclass of mixture

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


(subclass Aerosal Colloid) Geography.kif 7543-7543 Aerosal is a subclass of colloid
(subclass Beverage Colloid) Food.kif 390-390 Beverage is a subclass of colloid
(subclass Buttermilk Colloid) Food.kif 3167-3167 Buttermilk is a subclass of colloid
(subclass Emulsion Colloid) Mid-level-ontology.kif 21572-21572 Emulsion is a subclass of colloid
(subclass Gel Colloid) Mid-level-ontology.kif 21614-21614 Gel is a subclass of colloid
(subclass Jam Colloid) Food.kif 1749-1749 Jam is a subclass of colloid
(subclass Juice Colloid) Food.kif 2595-2595 Juice is a subclass of colloid
(subclass Sauce Colloid) Food.kif 2062-2062 Sauce is a subclass of colloid
(subclass Soda Colloid) Food.kif 3432-3432 Soda is a subclass of colloid
(subclass SolMixture Colloid) Mid-level-ontology.kif 21626-21626 Sol mixture is a subclass of colloid
(subclass Vinegar Colloid) Food.kif 3565-3565 Vinegar is a subclass of colloid
(subclass Whey Colloid) Food.kif 3145-3145 Whey is a subclass of colloid
(termFormat ChineseLanguage Colloid "胶体") domainEnglishFormat.kif 15632-15632
(termFormat ChineseTraditionalLanguage Colloid "膠體") domainEnglishFormat.kif 15631-15631
(termFormat EnglishLanguage Colloid "colloid") domainEnglishFormat.kif 15630-15630

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 7545-7554
(=>
    (and
        (instance ?C Curdling)
        (patient ?C ?X)
        (instance ?X Colloid))
    (exists (?S ?A)
        (and
            (instance ?S Separating)
            (subProcess ?S ?C)
            (patient ?S ?X)
            (result ?S ?A)
            (piece ?A ?X)
            (instance ?A Substance))))
Food.kif 3199-3211
(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))
Mid-level-ontology.kif 21616-21622
(=>
    (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))))
Mid-level-ontology.kif 21559-21568

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


(=>
    (instance ?C Curdling)
    (exists (?X)
        (and
            (patient ?C ?X)
            (holdsDuring
                (BeginFn
                    (WhenFn ?C))
                (instance ?X Colloid))
            (holdsDuring
                (EndFn
                    (WhenFn ?C))
                (not
                    (instance ?X Colloid))))))
Food.kif 3186-3197


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