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 13838-13843
(domain geopoliticalSubdivision 1 GeopoliticalArea) Merge.kif 13836-13836 domain geopoliticalSubdivision, 1 and GeopoliticalArea
(domain geopoliticalSubdivision 2 GeopoliticalArea) Merge.kif 13837-13837 domain geopoliticalSubdivision, 2 and GeopoliticalArea
(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 13833-13833 instance geopoliticalSubdivision and AsymmetricRelation
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 13834-13834 instance geopoliticalSubdivision and TransitiveRelation
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 13835-13835 subrelation geopoliticalSubdivision and geographicSubregion

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 373-373 subrelation administrativeCenter and geopoliticalSubdivision
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Government.kif 391-391 subrelation primaryGeopoliticalSubdivision and geopoliticalSubdivision
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") chinese_format.kif 805-805
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") domainEnglishFormat.kif 25833-25833
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") domainEnglishFormat.kif 25832-25832
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") domainEnglishFormat.kif 25831-25831

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


(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))
Government.kif 4648-4653
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4515-4520
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))
Government.kif 470-473
(=>
    (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 7749-7754 instance GeopoliticalArea and CityDistrict GeopoliticalArea instance GeopoliticalArea and City GeopoliticalArea GeopoliticalAreageopolitical 部分では %n
(=>
    (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 2442-2455
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6619-6624
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (not
        (geopoliticalSubdivision ?AREA ?COUNTRY)))
Government.kif 465-468
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))
Mid-level-ontology.kif 19042-19050

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


(geopoliticalSubdivision Beijing China) CountriesAndRegions.kif 4255-4255 BeijingChinageopolitical 部分では %n
(geopoliticalSubdivision Chengdu China) CountriesAndRegions.kif 4275-4275 ChengduChinageopolitical 部分では %n
(geopoliticalSubdivision Chongqing China) CountriesAndRegions.kif 4259-4259 ChongqingChinageopolitical 部分では %n
(geopoliticalSubdivision Guangzhou China) CountriesAndRegions.kif 4267-4267 GuangzhouChinageopolitical 部分では %n
(geopoliticalSubdivision Nanjing China) CountriesAndRegions.kif 4279-4279 NanjingChinageopolitical 部分では %n
(geopoliticalSubdivision Shanghai China) CountriesAndRegions.kif 4251-4251 ShanghaiChinageopolitical 部分では %n
(geopoliticalSubdivision Shenzhen China) CountriesAndRegions.kif 4271-4271 ShenzhenChinageopolitical 部分では %n
(geopoliticalSubdivision Tianjin China) CountriesAndRegions.kif 4263-4263 TianjinChinageopolitical 部分では %n
(geopoliticalSubdivision Wuhan China) CountriesAndRegions.kif 4283-4283 WuhanChinageopolitical 部分では %n
(geopoliticalSubdivision Xian China) CountriesAndRegions.kif 4287-4287 XianChinageopolitical 部分では %n


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