| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14031-14031 | 地理区域 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 73-73 | 停车场 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1985-1985 | 巴士车站 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 79-79 | 非法毒品洗钱区 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9014-9014 | 军事阵线 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22435-22435 | 市场 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22612-22612 | 旅游景点 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24657-24657 | Neighborhood 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14040-14040 | LocalizablePlace 是 地理区域 的 subclass |
| 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 14120-14120 | 水域 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14153-14153 | 土地面积 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 562-562 | 地面面积 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 587-587 | 仅水区 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 728-728 | 国际边界 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 733-733 | 检查站 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1021-1021 | 海事索赔区 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2371-2371 | 地质断层 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2658-2658 | 生态系统 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | 半球 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | 土地形式 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3988-3988 | 地下区域 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5399-5399 | 湖区 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5768-5768 | 沿岸带 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5851-5851 | 群岛地区 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6013-6013 | 洞穴 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6067-6067 | 淹没的土地面积 是 地理区域 的 subclass |
|
|