Miscible - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 22696-22696	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 22682-22683	Miscible is the opposite of immiscible
(instance Miscible InternalAttribute)	Mid-level-ontology.kif 22684-22684	Miscible is an instance of internal attribute

appearance as argument number 2

(termFormat ChineseLanguage Miscible "混溶的")	domainEnglishFormat.kif 38047-38047
(termFormat ChineseTraditionalLanguage Miscible "混溶的")	domainEnglishFormat.kif 38046-38046
(termFormat EnglishLanguage Miscible "miscible")	domainEnglishFormat.kif 38045-38045

antecedent

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

Mid-level-ontology.kif 22686-22691