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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Colloid
Colloid(膠體)

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


(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture，它是由一种极为微小、 按照溫特瓦分級，颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") Mid-level-ontology.kif 21552-21554
(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 21548-21551
(roomTempState Colloid Liquid) Mid-level-ontology.kif 31582-31582 roomTempState 膠體 and 液體
(subclass Colloid Mixture) Mid-level-ontology.kif 21556-21556 子類 膠體 and Mixture

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


(subclass Aerosal Colloid) Geography.kif 7543-7543 子類 Aerosal and 膠體
(subclass Beverage Colloid) Food.kif 390-390 子類 Beverage and 膠體
(subclass Buttermilk Colloid) Food.kif 3167-3167 子類 Buttermilk and 膠體
(subclass Emulsion Colloid) Mid-level-ontology.kif 21571-21571 子類 乳膠 and 膠體
(subclass Gel Colloid) Mid-level-ontology.kif 21613-21613 子類 凝膠 and 膠體
(subclass Jam Colloid) Food.kif 1749-1749 子類 Jam and 膠體
(subclass Juice Colloid) Food.kif 2595-2595 子類 Juice and 膠體
(subclass Sauce Colloid) Food.kif 2062-2062 子類 Sauce and 膠體
(subclass Soda Colloid) Food.kif 3432-3432 子類 Soda and 膠體
(subclass SolMixture Colloid) Mid-level-ontology.kif 21625-21625 子類 溶膠 and 膠體
(subclass Vinegar Colloid) Food.kif 3565-3565 子類 Vinegar and 膠體
(subclass Whey Colloid) Food.kif 3145-3145 子類 Whey and 膠體
(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 21615-21621
(=>
    (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 21558-21567

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 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