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 23238-23239
(instance Immiscible InternalAttribute)	Mid-level-ontology.kif 23240-23240	Immiscible is an instance of internal attribute

appearance as argument number 2

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 23241-23241	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 23220-23225