Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Soluble
Soluble(soluble)alcohol-soluble, dissoluble, dissolvable, fat-soluble, oil-soluble, soluble, water-soluble

appearance as argument number 1
-------------------------


(contraryAttribute Soluble Insoluble) Geography.kif 7516-7516 Soluble is the opposite of insoluble
(documentation Soluble ChineseLanguage "如果一种 &Substance 有 Soluble SolubilityAttribute 的话,那么它就能和另外一个 Substance 结合成为一种均匀混合物。") Geography.kif 7507-7508 Soluble is the opposite of insoluble
(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 7504-7505 Soluble is the opposite of insoluble
(subclass Soluble SolubilityAttribute) Geography.kif 7514-7514 Soluble is a subclass of solubility attribute

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Soluble "可溶的") Geography.kif 7512-7512
(termFormat EnglishLanguage Soluble "soluble") Geography.kif 7510-7510

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))
Geography.kif 7518-7529


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners