| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30018-30048 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | 子類 Region and Object |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 10-10 | 子類 大氣層 and Region |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 535-535 | 子類 疏水面 and Region |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 546-546 | 子類 親水側 and Region |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 31-31 | 子類 ParkingRegion and Region |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2924-2924 | 子類 中轉站 and Region |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2991-2991 | 子類 過境路線 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9042-9042 | 子類 流動區域 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9066-9066 | 子類 空間區域 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9128-9128 | 子類 在戶外 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9140-9140 | 子類 在室內 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15527-15527 | 子類 SittingArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15540-15540 | 子類 KitchenArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15565-15565 | 子類 DiningArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17672-17672 | 子類 UnderwaterRegion and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22216-22216 | 子類 路 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26622-26622 | 子類 Patio and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9873-9873 | 子類 HoleRegion and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14053-14053 | 子類 GeographicArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14287-14287 | 子類 公交專用道 and Region |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 302-302 | 子類 緯度 and Region |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 311-311 | 子類 經度 and Region |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | 子類 周邊區域 and Region |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1354-1354 | 子類 房地產 and Region |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 982-982 | 子類 PlayArea and Region |
|
|