Miscible - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Miscible Immiscible)	Mid-level-ontology.kif 21634-21634	相反的屬性混溶的 and 不混溶
(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 21620-21621
(instance Miscible InternalAttribute)	Mid-level-ontology.kif 21622-21622	例混溶的 and InternalAttribute

appearance as argument number 2

(termFormat ChineseLanguage Miscible "混溶的")	domainEnglishFormat.kif 38021-38021
(termFormat ChineseTraditionalLanguage Miscible "混溶的")	domainEnglishFormat.kif 38020-38020
(termFormat EnglishLanguage Miscible "miscible")	domainEnglishFormat.kif 38019-38019

antecedent

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

Mid-level-ontology.kif 21624-21629