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 21597-21598 | |
(subclass Emulsion Colloid) | Mid-level-ontology.kif 21599-21599 | Emulsion は Colloid の subclass では %n |
(subclass Emulsion LiquidMixture) | Mid-level-ontology.kif 21600-21600 | Emulsion は LiquidMixture の subclass では %n |
appearance as argument number 2 |
(roomTempState CocoaButter Emulsion) | Food.kif 2487-2487 | roomTempState CocoaButter and Emulsion |
(subclass Butter Emulsion) | Food.kif 3097-3097 | Butter は Emulsion の subclass では %n |
(subclass FermentedMilkProduct Emulsion) | Food.kif 3152-3152 | FermentedMilkProduct は Emulsion の subclass では %n |
(subclass Latex Emulsion) | Mid-level-ontology.kif 21637-21637 | Latex は Emulsion の subclass では %n |
(subclass Yogurt Emulsion) | Food.kif 3173-3173 | Yogurt は Emulsion の subclass では %n |
(termFormat ChineseLanguage Emulsion "乳胶") | domainEnglishFormat.kif 22008-22008 | |
(termFormat ChineseTraditionalLanguage Emulsion "乳膠") | domainEnglishFormat.kif 22007-22007 | |
(termFormat EnglishLanguage Emulsion "emulsion") | domainEnglishFormat.kif 22006-22006 |
antecedent |
(=> (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 3076-3094 |
|
(=> (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 21602-21611 |
consequent |
(=> (and (instance ?L LiquidMixture) (attribute ?L Immiscible) (equal ?L ?X)) (instance ?X Emulsion)) |
Mid-level-ontology.kif 21613-21618 |