No TPTP formula. May not be expressible in strict first order. |
Geography.kif 782-782 |
海上主张领海 的 range 是 周边区域 的实例 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 770-770 |
周边区域 的所得值 是 周边区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 820-820 |
均匀的周边区域 是 周边区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45174-45174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45173-45173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45172-45172 |
|