geopoliticalSubdivision |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1443-1447 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14092-14097 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14090-14090 | 域 地緣政治細分, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14091-14091 | 域 地緣政治細分, 2 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14087-14087 | 例 地緣政治細分 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14088-14088 | 例 地緣政治細分 and TransitiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14089-14089 | 子關係 地緣政治細分 and 地理分區域 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 804-804 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 814-814 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 483-483 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 815-815 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 435-435 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 505-505 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 385-385 | 子關係 行政中心 and 地緣政治細分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 403-403 | 子關係 主要地緣政治細分 and 地緣政治細分 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 805-805 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25842-25842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25841-25841 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25840-25840 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4668-4673 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 482-485 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 395-397 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8080-8085 | 例 GeopoliticalArea and 市區 GeopoliticalArea 例 GeopoliticalArea and City 地緣政治細分 GeopoliticalArea and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2432-2445 |
|
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. | Government.kif 477-480 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19692-19700 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4255-4255 | 地緣政治細分 Beijing and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4275-4275 | 地緣政治細分 Chengdu and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4259-4259 | 地緣政治細分 Chongqing and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4267-4267 | 地緣政治細分 Guangzhou and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4279-4279 | 地緣政治細分 Nanjing and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4251-4251 | 地緣政治細分 Shanghai and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4271-4271 | 地緣政治細分 Shenzhen and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4263-4263 | 地緣政治細分 Tianjin and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4283-4283 | 地緣政治細分 Wuhan and 中國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4287-4287 | 地緣政治細分 西安 and 中國 |