| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9042-9042 | 流动区域 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 62-62 | 气流 是 流动区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | 溪水区 是 流动区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | 水流 是 流动区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4943-4943 | 浪潮 是 流动区域 的 subclass |
|
|