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 22693-22694
(instance Immiscible InternalAttribute)	Mid-level-ontology.kif 22695-22695	Immiscible is an instance of internal attribute

appearance as argument number 2

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 22696-22696	Miscible is the opposite of immiscible
(termFormat ChineseLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29419-29419	Miscible is the opposite of immiscible
(termFormat ChineseTraditionalLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29418-29418	Miscible is the opposite of immiscible
(termFormat EnglishLanguage Immiscible "immiscible")	domainEnglishFormat.kif 29417-29417	Miscible is the opposite of immiscible

antecedent

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

Mid-level-ontology.kif 22675-22680