No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4540-4540 |
北大西洋 是 水体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4572-4572 |
北太平洋 是 水体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4586-4586 |
NortheasternPacificOcean 是 水体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4599-4599 |
NorthwesternPacificOcean 是 水体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4553-4553 |
南大西洋 是 水体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4612-4612 |
南太平洋 是 水体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4499-4499 |
世界海洋 是 水体 的 instance |
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 5672-5672 |
溪 是 水体 的 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 5122-5122 |
海湾 是 水体 的 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 5078-5078 |
内陆水域 是 水体 的 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 5474-5474 |
河 是 水体 的 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 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. |
domainEnglishFormat.kif 11483-11483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11482-11482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11481-11481 |
|