TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Soluble EnglishLanguage "If a &Substance has the SolubilityAttribute of being Soluble, then it can be combined with another Substance to become a %Solution.")	Geography.kif 8973-8974
(documentation Soluble ChineseLanguage "如果一种 &Substance 有 Soluble SolubilityAttribute 的话，那么它就能和另外一个 Substance 结合成为一种均匀混合物。")	Geography.kif 8976-8977
(subclass Soluble SolubilityAttribute)	Geography.kif 8983-8983	Soluble is a subclass of solubility attribute
(contraryAttribute Soluble Insoluble)	Geography.kif 8985-8985	Soluble is the opposite of insoluble

appearance as argument number 2

(termFormat EnglishLanguage Soluble "soluble")	Geography.kif 8979-8979
(termFormat ChineseLanguage Soluble "可溶的")	Geography.kif 8981-8981

antecedent

(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (piece ?X ?Z)
                (piece ?Y ?Z))) Possibility))

If X is an instance of substance and soluble is an attribute of X, then the statement there exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z has the modal force of possibility