Miscible - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 23224-23224	Miscible is the opposite of immiscible
(documentation Miscible EnglishLanguage "Miscible describes a state when two Substances can mix in all proportions, forming a homogeneous &Mixture often in the form of LiquidMixture.")	Mid-level-ontology.kif 23210-23211	Miscible is the opposite of immiscible
(instance Miscible InternalAttribute)	Mid-level-ontology.kif 23212-23212	Miscible is an instance of internal attribute

appearance as argument number 2

(termFormat ChineseLanguage Miscible "混溶的")	domainEnglishFormat.kif 38030-38030
(termFormat ChineseTraditionalLanguage Miscible "混溶的")	domainEnglishFormat.kif 38029-38029
(termFormat EnglishLanguage Miscible "miscible")	domainEnglishFormat.kif 38028-38028

antecedent

(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Miscible)
        (equal ?L ?X))
    (instance ?X Solution))

Mid-level-ontology.kif 23214-23219