|
|
   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 è una sottoclasse di Colloid |
| (subclass Emulsion LiquidMixture) | Mid-level-ontology.kif 21600-21600 | Emulsion è una sottoclasse di LiquidMixture |
| appearance as argument number 2 |
|
|
| (roomTempState CocoaButter Emulsion) | Food.kif 2487-2487 | roomTempState CocoaButter and Emulsion |
| (subclass Butter Emulsion) | Food.kif 3097-3097 | Butter è una sottoclasse di Emulsion |
| (subclass FermentedMilkProduct Emulsion) | Food.kif 3152-3152 | FermentedMilkProduct è una sottoclasse di Emulsion |
| (subclass Latex Emulsion) | Mid-level-ontology.kif 21637-21637 | Latex è una sottoclasse di Emulsion |
| (subclass Yogurt Emulsion) | Food.kif 3173-3173 | Yogurt è una sottoclasse di Emulsion |
| (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 |
|
|
|