Miscible - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 21865-21865	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 21851-21852	Miscible is the opposite of immiscible
(instance Miscible InternalAttribute)	Mid-level-ontology.kif 21853-21853	Miscible is an instance of internal attribute

appearance as argument number 2

(termFormat ChineseLanguage Miscible "混溶的")	domainEnglishFormat.kif 38055-38055
(termFormat ChineseTraditionalLanguage Miscible "混溶的")	domainEnglishFormat.kif 38054-38054
(termFormat EnglishLanguage Miscible "miscible")	domainEnglishFormat.kif 38053-38053

antecedent

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

Mid-level-ontology.kif 21855-21860