No TPTP formula. May not be expressible in strict first order. | Merge.kif 14223-14223 | 子類 Nation and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14224-14224 | 子類 Nation and LandArea |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1349-1349 | 子類 主辦國 and Nation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8010-8010 | 子類 獨立國家 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 73-73 | 子類 歐洲國家 and Nation |