| Insoluble(insoluble) | | indissoluble, insoluble, non-water-soluble, water-insoluble |
| appearance as argument number 1 |
|
|
| s__documentation(s__Insoluble,s__ChineseLanguage,'"如果一种 &Substance 有 Insoluble SolubilityAttribute 的话，那么它就不能和另外一个 Substance 结合成为一种均匀混合物。"')
|
Geography.kif 6709-6710 | |
| s__documentation(s__Insoluble,s__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 6705-6707 | |
| s__instance(s__SolubilityAttribute,s__SetOrClass) s__subclass(s__Insoluble,s__SolubilityAttribute) s__instance(s__Insoluble,s__SetOrClass)
|
Geography.kif 6716-6716 | Insoluble is a subclass of solubility attribute |
| appearance as argument number 2 |
|
|
| s__contraryAttribute__2(s__Soluble,s__Insoluble)
|
Geography.kif 6688-6688 | Soluble is the opposite of insoluble |
| s__termFormat(s__ChineseLanguage,s__Insoluble,'"不可溶的"')
|
Geography.kif 6714-6714 | |
| s__termFormat(s__EnglishLanguage,s__Insoluble,'"insoluble"')
|
Geography.kif 6712-6712 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6718-6730 |
|
| consequent |
|
|
| ( ! [V__Z] : (s__instance(V__Z,s__Colloid) => ( ? [V__P, V__S] : ((s__instance(V__P,s__SelfConnectedObject) & s__instance(V__S,s__RealNumber) & (s__part(V__P,V__Z) & s__attribute(V__P,s__Insoluble) & s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Nanometer)) & s__greaterThan(n__977,V__S) & s__greaterThan(V__S,n__0_95))))) ) )
|
Geography.kif 6749-6758 |
|
|
|
|