Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - geopoliticalSubdivision
geopoliticalSubdivision

appearance as argument number 1
-------------------------


(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 14401-14401
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 14402-14402
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 14403-14403
(domain geopoliticalSubdivision 1 GeopoliticalArea) Merge.kif 14404-14404
(domain geopoliticalSubdivision 2 GeopoliticalArea) Merge.kif 14405-14405
(documentation geopoliticalSubdivision EnglishLanguage "(geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral geographicSubregion of ?AREA2 (not a DependencyOrSpecialSovereigntyArea), having its own associated GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. dependentGeopoliticalArea.") Merge.kif 14406-14411

appearance as argument number 2
-------------------------


(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Mid-level-ontology.kif 34178-34178
(subrelation administrativeCenter geopoliticalSubdivision) Government.kif 385-385
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") domainEnglishFormat.kif 25844-25844
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") domainEnglishFormat.kif 25845-25845
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") domainEnglishFormat.kif 25846-25846
(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

antecedent
-------------------------


(=>
    (geopoliticalSubdivision ?SUB ?AREA)
    (not
        (instance ?SUB IndependentState)))		 Government.kif 395-397
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))		 Government.kif 446-449
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))		 Government.kif 4527-4532
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4660-4665

consequent
-------------------------


(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 9401-9406
(=>
    (and
        (instance ?WAR CivilWar)
        (contestParticipant ?WAR ?AGENT))
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (geopoliticalSubdivision ?AGENT ?NATION))))		 Mid-level-ontology.kif 21592-21599
(=>
    (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 2667-2680
(=>
    (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 2827-2846
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8595-8600
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (not
        (geopoliticalSubdivision ?AREA ?COUNTRY)))		 Government.kif 441-444

appearance as argument number 0
-------------------------


(geopoliticalSubdivision Shanghai China) CountriesAndRegions.kif 4251-4251
(geopoliticalSubdivision Beijing China) CountriesAndRegions.kif 4255-4255
(geopoliticalSubdivision Chongqing China) CountriesAndRegions.kif 4259-4259
(geopoliticalSubdivision Tianjin China) CountriesAndRegions.kif 4263-4263
(geopoliticalSubdivision Guangzhou China) CountriesAndRegions.kif 4267-4267
(geopoliticalSubdivision Shenzhen China) CountriesAndRegions.kif 4271-4271
(geopoliticalSubdivision Chengdu China) CountriesAndRegions.kif 4275-4275
(geopoliticalSubdivision Nanjing China) CountriesAndRegions.kif 4279-4279
(geopoliticalSubdivision Wuhan China) CountriesAndRegions.kif 4283-4283
(geopoliticalSubdivision Xian China) CountriesAndRegions.kif 4287-4287


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners