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 817-817 | |
(format EnglishLanguage geopoliticalSubdivision "%1 は %2 の geopolitical 部分では %n") | english_format.kif 818-818 | |
(subrelation administrativeCenter geopoliticalSubdivision) | Government.kif 373-373 | |
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) | Government.kif 391-391 | |
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") | chinese_format.kif 805-805 | |
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") | domainEnglishFormat.kif 25774-25774 | |
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") | domainEnglishFormat.kif 25773-25773 | |
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") | domainEnglishFormat.kif 25772-25772 |
antecedent |
![]() |
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4599-4604 | |
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4466-4471 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 471-474 | |
(=> (geopoliticalSubdivision ?SUB ?AREA) (not (instance ?SUB IndependentState))) |
Government.kif 383-385 |
consequent |
![]() |
(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 7802-7807 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))))) |
Economy.kif 2435-2448 | |
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6362-6367 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY))) |
Government.kif 466-469 | |
(=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 17501-17509 |
![]() |
![]() |