No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6088-6088 |
大陆边缘 是 淹没的土地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6081-6081 |
大陆棚 是 淹没的土地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1058-1058 |
海运货架区 是 淹没的土地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6104-6104 |
海底区域 是 淹没的土地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55746-55746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55745-55745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55744-55744 |
|