No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5166-5166 |
腺嘌呤 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5174-5174 |
GulfOfMexico 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5158-5158 |
阿曼湾 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4539-4539 |
北大西洋 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4571-4571 |
北太平洋 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4585-4585 |
NortheasternPacificOcean 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4598-4598 |
NorthwesternPacificOcean 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5152-5152 |
波斯湾 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4552-4552 |
南大西洋 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4611-4611 |
南太平洋 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5313-5313 |
霍尔木兹海峡 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4498-4498 |
世界海洋 是 盐水区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5180-5180 |
河口 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1133-1133 |
专属捕鱼区 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1165-1165 |
延伸捕鱼区 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5123-5123 |
海湾 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1031-1031 |
海上毗连区 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1100-1100 |
海上专属经济区 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4512-4512 |
海洋 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5086-5086 |
盐湖 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4757-4757 |
海 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1197-1197 |
领海 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4944-4944 |
浪潮 是 盐水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 951-951 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |