|
|
   Soluble
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7350-7350 | 可溶的 是 不可溶的 的相反 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7341-7342 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7338-7339 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7348-7348 | 可溶的 是 可溶性 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7346-7346 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7344-7344 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7352-7363 |
|
|
|