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 16904-16908 | |
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 14075-14075 | 子類 GeopoliticalArea and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14076-14076 | 子類 GeopoliticalArea and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 938-938 | 子類 港口設施 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8008-8008 | 子類 獨立國家 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8016-8016 | 子類 依賴或特殊主權領域 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8076-8076 | 子類 市區 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | 子類 Nation and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | 子類 StateOrProvince and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 子類 City and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14273-14273 | 子類 縣 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Government.kif 487-487 | 子類 海外地區 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Government.kif 525-525 | 子類 議會領土 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Government.kif 531-531 | 子類 自治領土 and GeopoliticalArea |