| No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | 水体 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | 水体 是 自身连接物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4513-4513 | 海洋 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4758-4758 | 海 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5078-5078 | 内陆水域 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5122-5122 | 海湾 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5179-5179 | 河口 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5218-5218 | 进口 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5278-5278 | 声音 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5292-5292 | 海峡 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5316-5316 | 渠道 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5474-5474 | 河 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5672-5672 | 溪 是 水体 的 subclass |
|
|