| Insoluble(insoluble) | | indissoluble, insoluble, non-water-soluble, water-insoluble |
| appearance as argument number 1 |
|
|
| (documentation Insoluble ChineseLanguage "如果一种 &Substance 有 Insoluble SolubilityAttribute 的话，那么它就不能和另外一个 Substance 结合成为一种均匀混合物。") | Geography.kif 7441-7442 | |
| (documentation Insoluble EnglishLanguage "If a &Substance has the SolubilityAttribute of being Insoluble, then it cannot be combined with another Substance to become a solution mixture.") | Geography.kif 7437-7439 | |
| (subclass Insoluble SolubilityAttribute) | Geography.kif 7448-7448 | Insoluble is a subclass of solubility attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Soluble Insoluble) | Geography.kif 7420-7420 | Soluble is the opposite of insoluble |
| (termFormat ChineseLanguage Insoluble "不可溶的") | Geography.kif 7446-7446 | Soluble is the opposite of insoluble |
| (termFormat EnglishLanguage Insoluble "insoluble") | Geography.kif 7444-7444 | Soluble is the opposite of insoluble |
| antecedent |
|
|
| (=> (and (instance ?X Substance) (attribute ?X Insoluble)) (not (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility))) |
Geography.kif 7450-7462 |
|
| consequent |
|
|
| (=> (instance ?Z Colloid) (exists (?P ?S) (and (part ?P ?Z) (attribute ?P Insoluble) (approximateDiameter ?P (MeasureFn ?S Nanometer)) (greaterThan 977.0 ?S) (greaterThan ?S 0.95)))) |
Mid-level-ontology.kif 23193-23202 |
|
|
|
|