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 14114-14119 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14112-14112 | The number 1 argument of geopolitical subdivision is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14113-14113 | The number 2 argument of geopolitical subdivision is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14109-14109 | geopolitical subdivision is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14110-14110 | geopolitical subdivision is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14111-14111 | geopolitical subdivision is a subrelation of geographic subregion |
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 | administrative center is a subrelation of geopolitical subdivision |
No TPTP formula. May not be expressible in strict first order. | Government.kif 403-403 | primary geopolitical subdivision is a subrelation of geopolitical subdivision |
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 |
consequent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4255-4255 | Beijing is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4275-4275 | Chengdu is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4259-4259 | Chongqing is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4267-4267 | Guangzhou is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4279-4279 | Nanjing is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4251-4251 | Shanghai is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4271-4271 | Shenzhen is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4263-4263 | Tianjin is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4283-4283 | Wuhan is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4287-4287 | Xi'an is a geopolitical part of china |