| 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 | 子類 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 536-536 | 子類 疏水面 and Region |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 547-547 | 子類 親水側 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 9043-9043 | 子類 流動區域 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9067-9067 | 子類 空間區域 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9129-9129 | 子類 在戶外 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9141-9141 | 子類 在室內 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15528-15528 | 子類 SittingArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15541-15541 | 子類 KitchenArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15566-15566 | 子類 DiningArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17673-17673 | 子類 UnderwaterRegion and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | 子類 路 and Region |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26634-26634 | 子類 Patio and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | 子類 HoleRegion and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14031-14031 | 子類 GeographicArea and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14265-14265 | 子類 公交專用道 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 |
|
|