No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1132-1132 |
子類 專屬捕魚區 and 海事索賠區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1164-1164 |
子類 延伸捕魚區 and 海事索賠區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1030-1030 |
子類 海上毗連區 and 海事索賠區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1099-1099 |
子類 海上專屬經濟區 and 海事索賠區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1057-1057 |
子類 海運貨架區 and 海事索賠區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1196-1196 |
子類 領海 and 海事索賠區 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36191-36191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36190-36190 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36189-36189 |
|