geopoliticalSubdivision |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage geopoliticalSubdivision "%1 %n 是 %2 的地缘政治部分") | chinese_format.kif 804-804 | |
(format EnglishLanguage geopoliticalSubdivision "%1 is %n a geopolitical part of %2") | english_format.kif 814-814 | |
(format JapaneseLanguage geopoliticalSubdivision "%1 は %2 の geopolitical 部分では %n") | english_format.kif 815-815 | |
(subrelation administrativeCenter geopoliticalSubdivision) | Government.kif 385-385 | |
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) | Government.kif 403-403 | |
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") | chinese_format.kif 805-805 | |
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") | domainEnglishFormat.kif 25828-25828 | |
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") | domainEnglishFormat.kif 25827-25827 | |
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") | domainEnglishFormat.kif 25826-25826 |
antecedent |
![]() |
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4668-4673 | |
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4535-4540 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 482-485 | |
(=> (geopoliticalSubdivision ?SUB ?AREA) (not (instance ?SUB IndependentState))) |
Government.kif 395-397 |
consequent |
![]() |
(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8040-8045 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))))) |
Economy.kif 2443-2456 | |
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6631-6636 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY))) |
Government.kif 477-480 | |
(=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 19474-19482 |
appearance as argument number 0 |
![]() |
(geopoliticalSubdivision Beijing China) | CountriesAndRegions.kif 4255-4255 | |
(geopoliticalSubdivision Chengdu China) | CountriesAndRegions.kif 4275-4275 | |
(geopoliticalSubdivision Chongqing China) | CountriesAndRegions.kif 4259-4259 | |
(geopoliticalSubdivision Guangzhou China) | CountriesAndRegions.kif 4267-4267 | |
(geopoliticalSubdivision Nanjing China) | CountriesAndRegions.kif 4279-4279 | |
(geopoliticalSubdivision Shanghai China) | CountriesAndRegions.kif 4251-4251 | |
(geopoliticalSubdivision Shenzhen China) | CountriesAndRegions.kif 4271-4271 | |
(geopoliticalSubdivision Tianjin China) | CountriesAndRegions.kif 4263-4263 | |
(geopoliticalSubdivision Wuhan China) | CountriesAndRegions.kif 4283-4283 | |
(geopoliticalSubdivision Xian China) | CountriesAndRegions.kif 4287-4287 |
![]() |
![]() |