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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Colloid

appearance as argument number 1

(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture,它是由一种极为微小、 按照溫特瓦分級,颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") Mid-level-ontology.kif 21502-21504
(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 21498-21501
(roomTempState Colloid Liquid) Mid-level-ontology.kif 31503-31503
(subclass Colloid Mixture) Mid-level-ontology.kif 21506-21506

appearance as argument number 2

(subclass Aerosal Colloid) Geography.kif 7521-7521
(subclass Beverage Colloid) Food.kif 390-390
(subclass Buttermilk Colloid) Food.kif 3167-3167
(subclass Emulsion Colloid) Mid-level-ontology.kif 21521-21521
(subclass Gel Colloid) Mid-level-ontology.kif 21563-21563
(subclass Jam Colloid) Food.kif 1749-1749
(subclass Juice Colloid) Food.kif 2595-2595
(subclass Sauce Colloid) Food.kif 2062-2062
(subclass Soda Colloid) Food.kif 3432-3432
(subclass SolMixture Colloid) Mid-level-ontology.kif 21575-21575
(subclass Vinegar Colloid) Food.kif 3565-3565
(subclass Whey Colloid) Food.kif 3145-3145
(termFormat ChineseLanguage Colloid "胶体") domainEnglishFormat.kif 15632-15632
(termFormat ChineseTraditionalLanguage Colloid "膠體") domainEnglishFormat.kif 15631-15631
(termFormat EnglishLanguage Colloid "colloid") domainEnglishFormat.kif 15630-15630


        (instance ?C Colloid)
        (part ?P ?C)
            (attribute ?P Solid)
            (attribute ?P Liquid))
        (instance ?AIR Air)
        (part ?AIR ?C))
    (instance ?C Aerosal))
Geography.kif 7523-7532
        (instance ?C Curdling)
        (patient ?C ?X)
        (instance ?X Colloid))
    (exists (?S ?A)
            (instance ?S Separating)
            (subProcess ?S ?C)
            (patient ?S ?X)
            (result ?S ?A)
            (piece ?A ?X)
            (instance ?A Substance))))
Food.kif 3199-3211
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))
Mid-level-ontology.kif 21565-21571
    (instance ?Z Colloid)
    (exists (?P ?S)
            (part ?P ?Z)
            (attribute ?P Insoluble)
            (approximateDiameter ?P
                (MeasureFn ?S Nanometer))
            (greaterThan 977.0 ?S)
            (greaterThan ?S 0.95))))
Mid-level-ontology.kif 21508-21517


    (instance ?C Curdling)
    (exists (?X)
            (patient ?C ?X)
                    (WhenFn ?C))
                (instance ?X Colloid))
                    (WhenFn ?C))
                    (instance ?X Colloid))))))
Food.kif 3186-3197

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 3.0 is open source software produced by Articulate Software and its partners