Immiscible - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Immiscible EnglishLanguage "Contrary to Miscible, Immiscible is the state when there are certain proportions in which the Mixture does not form a Solution.")	Mid-level-ontology.kif 23221-23222
(instance Immiscible InternalAttribute)	Mid-level-ontology.kif 23223-23223	Immiscible is an instance of internal attribute

appearance as argument number 2

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 23224-23224	Miscible is the opposite of immiscible
(termFormat ChineseLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29402-29402	Miscible is the opposite of immiscible
(termFormat ChineseTraditionalLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29401-29401	Miscible is the opposite of immiscible
(termFormat EnglishLanguage Immiscible "immiscible")	domainEnglishFormat.kif 29400-29400	Miscible is the opposite of immiscible

antecedent

(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Immiscible)
        (equal ?L ?X))
    (instance ?X Emulsion))

Mid-level-ontology.kif 23203-23208