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

Formal Language: 


KB Term:  Term intersection
English Word: 

  geopoliticalSubdivision

 Sigma KEE - geopoliticalSubdivision
geopoliticalSubdivision

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


(documentation geopoliticalSubdivision ChineseLanguage "(geopoliticalSubdivision ?AREA1 ?AREA2)的意思是 ?AREA1 是 ?AREA2 的某一个地缘部分，姐就是说 ?AREA1 是 ?AREA2 geographicSubregion 的组成部分(而不是 DependencyOrSpecialSovereigntyArea)，拥有它自己 相关的 GovernmentOrganization，它的政府部门从属或受 ?AREA2 的政府管辖。可参考 dependentGeopoliticalArea。") chinese_format.kif 1443-1447
(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 14245-14250
(domain geopoliticalSubdivision 1 GeopoliticalArea) Merge.kif 14243-14243 geopoliticalSubdivision の数値 1 引数は 地政学的地域 の instance では
(domain geopoliticalSubdivision 2 GeopoliticalArea) Merge.kif 14244-14244 geopoliticalSubdivision の数値 2 引数は 地政学的地域 の instance では
(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 14240-14240 geopoliticalSubdivision は 非対称関係 の instance では
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 14241-14241 geopoliticalSubdivision は 推移関係 の instance では
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 14242-14242 geopoliticalSubdivision は geographicSubregion の subrelation では

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 administrativeCenter は geopoliticalSubdivision の subrelation では
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Mid-level-ontology.kif 33692-33692 primaryGeopoliticalSubdivision は geopoliticalSubdivision の subrelation では
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") chinese_format.kif 805-805 primaryGeopoliticalSubdivision は geopoliticalSubdivision の subrelation では
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") domainEnglishFormat.kif 25853-25853 primaryGeopoliticalSubdivision は geopoliticalSubdivision の subrelation では
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") domainEnglishFormat.kif 25852-25852 primaryGeopoliticalSubdivision は geopoliticalSubdivision の subrelation では
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") domainEnglishFormat.kif 25851-25851 primaryGeopoliticalSubdivision は geopoliticalSubdivision の subrelation では

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 地政学的地域 は CityDistrict の instance では 地政学的地域 地政学的地域 は 都市 の instance では 地政学的地域 は 地政学的地域 の geopolitical 部分では
(=>
    (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 Beijing は China の geopolitical 部分では
(geopoliticalSubdivision Chengdu China) CountriesAndRegions.kif 4270-4270 Chengdu は China の geopolitical 部分では
(geopoliticalSubdivision Chongqing China) CountriesAndRegions.kif 4254-4254 Chongqing は China の geopolitical 部分では
(geopoliticalSubdivision Guangzhou China) CountriesAndRegions.kif 4262-4262 Guangzhou は China の geopolitical 部分では
(geopoliticalSubdivision Nanjing China) CountriesAndRegions.kif 4274-4274 Nanjing は China の geopolitical 部分では
(geopoliticalSubdivision Shanghai China) CountriesAndRegions.kif 4246-4246 Shanghai は China の geopolitical 部分では
(geopoliticalSubdivision Shenzhen China) CountriesAndRegions.kif 4266-4266 Shenzhen は China の geopolitical 部分では
(geopoliticalSubdivision Tianjin China) CountriesAndRegions.kif 4258-4258 Tianjin は China の geopolitical 部分では
(geopoliticalSubdivision Wuhan China) CountriesAndRegions.kif 4278-4278 Wuhan は China の geopolitical 部分では
(geopoliticalSubdivision Xian China) CountriesAndRegions.kif 4282-4282 Xian は China の geopolitical 部分では


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners