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. | Mid-level-ontology.kif 9033-9033 | 溪水区 是 流动区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | 河 是 溪水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5546-5546 | 瀑布 是 溪水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5633-5633 | 急流 是 溪水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5656-5656 | 河口 是 溪水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5673-5673 | 溪 是 溪水区 的 subclass |