| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | 地区 是 客体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 10-10 | 大气层 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 536-536 | 疏水面 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 547-547 | 亲水侧 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 31-31 | ParkingRegion 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2924-2924 | 中转站 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2991-2991 | 过境路线 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9043-9043 | 流动区域 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9067-9067 | 空间区域 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9129-9129 | 在户外 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9141-9141 | 在室内 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15528-15528 | SittingArea 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15541-15541 | KitchenArea 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15566-15566 | DiningArea 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17673-17673 | UnderwaterRegion 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | 路 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26634-26634 | Patio 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | 洞 是 地区 的 subclass |
| 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. | Merge.kif 14265-14265 | 公交专用道 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 302-302 | 纬度 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 311-311 | 经度 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | 周边区域 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1354-1354 | 房地产 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 982-982 | PlayArea 是 地区 的 subclass |
|
|