Soluble |
appearance as argument number 1 |
(contraryAttribute Soluble Insoluble) | Geography.kif 7350-7350 | Soluble e' &o oposto de Insoluble |
(documentation Soluble ChineseLanguage "如果一种 &Substance 有 Soluble SolubilityAttribute 的话,那么它就能和另外一个 Substance 结合成为一种均匀混合物。") | Geography.kif 7341-7342 | |
(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 7338-7339 | |
(subclass Soluble SolubilityAttribute) | Geography.kif 7348-7348 | Soluble e' uma sub-classe de SolubilityAttribute |
appearance as argument number 2 |
(termFormat ChineseLanguage Soluble "可溶的") | Geography.kif 7346-7346 | |
(termFormat EnglishLanguage Soluble "soluble") | Geography.kif 7344-7344 |
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 7352-7363 |