| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | 水 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2963-2963 | 雨水 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8976-8976 | 冰 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25645-25645 | Steam 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2730-2730 | 淡水 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2743-2743 | 地下水 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2820-2820 | SeaWater 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2847-2847 | BrackishWater 是 水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 237-237 | PurifiedWater 是 水 的 subclass |
|
|