| No TPTP formula. May not be expressible in strict first order. | Geography.kif 983-987 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1021-1021 | 子類 海事索賠區 and GeographicArea |
| 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 1057-1057 | 子類 海運貨架區 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 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 1196-1196 | 子類 領海 and 海事索賠區 |
|
|