| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7334-7334 | 可溶性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7348-7348 | 可溶的 是 可溶性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7378-7378 | 不可溶的 是 可溶性 的 subclass |
|
|