No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1683-1688 | |
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 5473-5473 | 河 是 淡水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5474-5474 | 河 是 水体 的 subclass |