| No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16905-16909 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6931-6936 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14053-14053 | 地缘政治区域 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14054-14054 | 地缘政治区域 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 938-938 | 港口设施 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8009-8009 | 独立国家 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8017-8017 | 依赖或特殊主权领域 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8077-8077 | 市区 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14223-14223 | 国家 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14230-14230 | 州或省 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14244-14244 | 城市 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14251-14251 | 县 是 地缘政治区域 的 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 525-525 | 议会领土 是 地缘政治区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 531-531 | 自治领土 是 地缘政治区域 的 subclass |
|
|