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


KB Term:  Term intersection
English Word: 

  Emulsion

 Sigma KEE - Emulsion
Emulsion(emulsion)

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


(documentation Emulsion EnglishLanguage "An Emulsion is a Mixture of two or more Substances in Liquid state that are normally Immiscible owing to liquid-liquid phase separation.") Mid-level-ontology.kif 23844-23845
(subclass Emulsion Colloid) Mid-level-ontology.kif 23846-23846 Emulsion is a subclass of colloid
(subclass Emulsion LiquidMixture) Mid-level-ontology.kif 23847-23847 Emulsion is a subclass of liquid mixture

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


(subclass Latex Emulsion) Mid-level-ontology.kif 23884-23884 Latex is a subclass of emulsion
(roomTempState CocoaButter Emulsion) Food.kif 2509-2509 room temperature state cocoa butter and emulsion
(subclass Butter Emulsion) Food.kif 3126-3126 Butter is a subclass of emulsion
(subclass FermentedMilkProduct Emulsion) Food.kif 3182-3182 Fermented milk product is a subclass of emulsion
(subclass Yogurt Emulsion) Food.kif 3203-3203 Yogurt is a subclass of emulsion
(termFormat EnglishLanguage Emulsion "emulsion") domainEnglishFormat.kif 22008-22008 Yogurt is a subclass of emulsion
(termFormat ChineseTraditionalLanguage Emulsion "乳膠") domainEnglishFormat.kif 22009-22009 Yogurt is a subclass of emulsion
(termFormat ChineseLanguage Emulsion "乳胶") domainEnglishFormat.kif 22010-22010 Yogurt is a subclass of emulsion

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


(=>
    (instance ?X Emulsion)
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Substance)
            (instance ?L2 Substance)
            (attribute ?L1 Liquid)
            (attribute ?L2 Liquid)
            (not
                (equal ?L1 ?L2)))))		 Mid-level-ontology.kif 23849-23858 If X is an instance of emulsion, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of substance (3) Z is an instance of substance (4) liquid is an attribute of Y (5) liquid is an attribute of Z (6) equal Y (7) Z
(=>
    (and
        (instance ?C ChurningButter)
        (instance ?E Emulsion)
        (patient ?C ?E))
    (exists (?M ?B)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?C))
                (and
                    (equal ?E ?M)
                    (instance ?M Milk)))
            (holdsDuring
                (EndFn
                    (WhenFn ?C))
                (and
                    (equal ?E ?B)
                    (instance ?B Butter))))))		 Food.kif 3105-3123 If X is an instance of churning butter, Y is an instance of emulsion, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that equal Y (3) Z (4) Z is an instance of milk holds during the beginning of the time of existence of X (5) equal Y (6) W (7) W is an instance of butter holds during the end of the time of existence of X

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


(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Immiscible)
        (equal ?L ?X))
    (instance ?X Emulsion))		 Mid-level-ontology.kif 23860-23865 If X is an instance of liquid mixture, immiscible is an attribute of X, and equal X and Y, then Y is an instance of emulsion


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