| 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 21570-21571 | |
| (subclass Emulsion Colloid) | Mid-level-ontology.kif 21572-21572 | 子類 乳膠 and 膠體 |
| (subclass Emulsion LiquidMixture) | Mid-level-ontology.kif 21573-21573 | 子類 乳膠 and 液體混合物 |
| appearance as argument number 2 |
|
|
| (roomTempState CocoaButter Emulsion) | Food.kif 2487-2487 | roomTempState 可可脂 and 乳膠 |
| (subclass Butter Emulsion) | Food.kif 3097-3097 | 子類 奶油 and 乳膠 |
| (subclass FermentedMilkProduct Emulsion) | Food.kif 3152-3152 | 子類 FermentedMilkProduct and 乳膠 |
| (subclass Latex Emulsion) | Mid-level-ontology.kif 21610-21610 | 子類 乳膠 and 乳膠 |
| (subclass Yogurt Emulsion) | Food.kif 3173-3173 | 子類 Yogurt and 乳膠 |
| (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 21575-21584 |
| consequent |
|
|
| (=> (and (instance ?L LiquidMixture) (attribute ?L Immiscible) (equal ?L ?X)) (instance ?X Emulsion)) |
Mid-level-ontology.kif 21586-21591 |
|
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