PerimeterArea BituminousCoalAndLigniteSurfaceMining
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 763-766 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | 子類 周邊區域 and Region |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 782-782 | 範圍 海上主張領海 and 周邊區域 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 770-770 | 範圍子類 周邊區域 and 周邊區域 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 820-820 | 子類 均勻的周邊區域 and 周邊區域 |
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 |