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 21604-21605
(instance Immiscible InternalAttribute)	Mid-level-ontology.kif 21606-21606	Immiscible is an instance of internal attribute

appearance as argument number 2

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 21607-21607	Miscible is the opposite of immiscible
(termFormat ChineseLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29391-29391
(termFormat ChineseTraditionalLanguage Immiscible "不混溶")	domainEnglishFormat.kif 29390-29390
(termFormat EnglishLanguage Immiscible "immiscible")	domainEnglishFormat.kif 29389-29389

antecedent

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

Mid-level-ontology.kif 21586-21591