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 21862-21863
(instance Immiscible InternalAttribute)	Mid-level-ontology.kif 21864-21864	Immiscible is an instance of internal attribute

appearance as argument number 2

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 21865-21865	Miscible is the opposite of immiscible
(termFormat ChineseLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29425-29425	Miscible is the opposite of immiscible
(termFormat ChineseTraditionalLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29424-29424	Miscible is the opposite of immiscible
(termFormat EnglishLanguage Immiscible "immiscible")	domainEnglishFormat.kif 29423-29423	Miscible is the opposite of immiscible

antecedent

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

Mid-level-ontology.kif 21844-21849