| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8019-8019 | 海外地区 是 依赖或特殊主权领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 487-487 | 海外地区 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 513-513 | 非法人团结的美国领土 是 海外地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 519-519 | 英国皇家殖民地 是 海外地区 的 subclass |
|
|