Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 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 23823-23826
(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture，它是由一种极为微小、 按照溫特瓦分級，颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") Mid-level-ontology.kif 23827-23829
(subclass Colloid Mixture) Mid-level-ontology.kif 23831-23831 Colloid is a subclass of mixture
(roomTempState Colloid Liquid) Mid-level-ontology.kif 34049-34049 room temperature state colloid and liquid

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


(subclass Beverage Colloid) Mid-level-ontology.kif 2580-2580 Beverage is a subclass of colloid
(subclass Emulsion Colloid) Mid-level-ontology.kif 23846-23846 Emulsion is a subclass of colloid
(subclass Gel Colloid) Mid-level-ontology.kif 23888-23888 Gel is a subclass of colloid
(subclass SolMixture Colloid) Mid-level-ontology.kif 23900-23900 Sol mixture is a subclass of colloid
(subclass Jam Colloid) Food.kif 1762-1762 Jam is a subclass of colloid
(subclass Sauce Colloid) Food.kif 2077-2077 Sauce is a subclass of colloid
(subclass Juice Colloid) Food.kif 2620-2620 Juice is a subclass of colloid
(subclass Whey Colloid) Food.kif 3175-3175 Whey is a subclass of colloid
(subclass Buttermilk Colloid) Food.kif 3197-3197 Buttermilk is a subclass of colloid
(subclass Aerosal Colloid) Geography.kif 9144-9144 Aerosal is a subclass of colloid
(termFormat EnglishLanguage Colloid "colloid") domainEnglishFormat.kif 15632-15632 Aerosal is a subclass of colloid
(termFormat ChineseTraditionalLanguage Colloid "膠體") domainEnglishFormat.kif 15633-15633 Aerosal is a subclass of colloid
(termFormat ChineseLanguage Colloid "胶体") domainEnglishFormat.kif 15634-15634 Aerosal is a subclass of colloid

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


(=>
    (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 23833-23842 If X is an instance of colloid, then there exist Y and Z such that Y is a part of X and insoluble is an attribute of Y and the approximate diameter of Y is Z nanometer(s) and 977.0 is greater than Z and Z is greater than 0.95
(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))		 Mid-level-ontology.kif 23890-23896 If X is an instance of colloid, solid is an attribute of X, fluid is an attribute of X, and equal X and Y, then Y is an instance of gel
(=>
    (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 3229-3241 If X is an instance of curdling, Y is a patient of X, and Y is an instance of colloid, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of separating (3) Z is a subprocess of X (4) Y is a patient of Z (5) W is a result of Z (6) W is a piece of Y (7) W is an instance of substance
(=>
    (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 9146-9155 If X is an instance of colloid, Y is a part of X, solid is an attribute of Y or liquid is an attribute of Y, Z is an instance of air, and Z is a part of X, then X is an instance of aerosal

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 3216-3227 If X is an instance of curdling, then there exists Y such that Y is a patient of X, Y is an instance of colloid holds during the beginning of the time of existence of X, and Y is not an instance of colloid holds during the end of the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners