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 14092-14097
(domain geopoliticalSubdivision 1 GeopoliticalArea) Merge.kif 14090-14090 Il numero 1 argomenti di geopoliticalSubdivision è un istanza di AreaGeopolitica
(domain geopoliticalSubdivision 2 GeopoliticalArea) Merge.kif 14091-14091 Il numero 2 argomenti di geopoliticalSubdivision è un istanza di AreaGeopolitica
(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 14087-14087 geopoliticalSubdivision è un' istanza di RelazioneAsimmetrica
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 14088-14088 geopoliticalSubdivision è un' istanza di RelazioneTransitiva
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 14089-14089 geopoliticalSubdivision è una sottorelazione di 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 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 è una sottorelazione di geopoliticalSubdivision
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Government.kif 403-403 primaryGeopoliticalSubdivision è una sottorelazione di geopoliticalSubdivision
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") chinese_format.kif 805-805
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") domainEnglishFormat.kif 25842-25842
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") domainEnglishFormat.kif 25841-25841
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") domainEnglishFormat.kif 25840-25840

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


(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4668-4673
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))		 Government.kif 4535-4540
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))		 Government.kif 482-485
(=>
    (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 8080-8085 AreaGeopolitica è un' istanza di CityDistrict AreaGeopolitica AreaGeopolitica è un' istanza di Citt� geopoliticalSubdivision AreaGeopolitica and AreaGeopolitica
(=>
    (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 2432-2445
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 6931-6936
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (not
        (geopoliticalSubdivision ?AREA ?COUNTRY)))		 Government.kif 477-480
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))		 Mid-level-ontology.kif 19692-19700

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


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


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