No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6088-6088 |
子類 大陸邊緣 and 淹沒的土地面積 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6081-6081 |
子類 大陸棚 and 淹沒的土地面積 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1058-1058 |
子類 海運貨架區 and 淹沒的土地面積 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6104-6104 |
子類 海底區域 and 淹沒的土地面積 |
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 |
|