| 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 |
|
|
|
|