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 FrenchLanguage geopoliticalSubdivision "sous-division g�opolitique") | french_format.kif 483-483 | |
(format JapaneseLanguage geopoliticalSubdivision "%1 は %2 の geopolitical 部分では %n") | english_format.kif 815-815 | |
(format PortugueseLanguage geopoliticalSubdivision "sub-divisao geopolitica") | portuguese_format.kif 435-435 | |
(format ro geopoliticalSubdivision "") | relations-ro.kif 505-505 | |
(subrelation administrativeCenter geopoliticalSubdivision) | Government.kif 385-385 | |
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) | Mid-level-ontology.kif 33692-33692 | |
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") | chinese_format.kif 805-805 | |
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") | domainEnglishFormat.kif 25853-25853 | |
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") | domainEnglishFormat.kif 25852-25852 | |
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") | domainEnglishFormat.kif 25851-25851 |
antecedent |
![]() |
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4629-4634 | |
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4496-4501 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 446-449 | |
(=> (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 9247-9252 | |
(=> (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 2672-2685 | |
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 7235-7240 | |
(=> (and (instance ?IMPORT Importing) (patient ?IMPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?IMPORT)) (located ?ITEM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?IMPORT)) (located ?ITEM ?AREA2))))) |
Economy.kif 2832-2851 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY))) |
Government.kif 441-444 | |
(=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 21263-21271 |
appearance as argument number 0 |
![]() |
(geopoliticalSubdivision Beijing China) | CountriesAndRegions.kif 4250-4250 | |
(geopoliticalSubdivision Chengdu China) | CountriesAndRegions.kif 4270-4270 | |
(geopoliticalSubdivision Chongqing China) | CountriesAndRegions.kif 4254-4254 | |
(geopoliticalSubdivision Guangzhou China) | CountriesAndRegions.kif 4262-4262 | |
(geopoliticalSubdivision Nanjing China) | CountriesAndRegions.kif 4274-4274 | |
(geopoliticalSubdivision Shanghai China) | CountriesAndRegions.kif 4246-4246 | |
(geopoliticalSubdivision Shenzhen China) | CountriesAndRegions.kif 4266-4266 | |
(geopoliticalSubdivision Tianjin China) | CountriesAndRegions.kif 4258-4258 | |
(geopoliticalSubdivision Wuhan China) | CountriesAndRegions.kif 4278-4278 | |
(geopoliticalSubdivision Xian China) | CountriesAndRegions.kif 4282-4282 |
![]() |
![]() |