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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14230-14235
(domain geopoliticalSubdivision 1 GeopoliticalArea) Merge.kif 14228-14228 The number 1 argument of geopolitical subdivision is an instance of geopolitical area
(domain geopoliticalSubdivision 2 GeopoliticalArea) Merge.kif 14229-14229 The number 2 argument of geopolitical subdivision is an instance of geopolitical area
(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 14225-14225 geopolitical subdivision is an instance of asymmetric relation
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 14226-14226 geopolitical subdivision is an instance of transitive relation
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 14227-14227 geopolitical subdivision is a subrelation of geographic subregion

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 administrative center is a subrelation of geopolitical subdivision
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Mid-level-ontology.kif 33451-33451 primary geopolitical subdivision is a subrelation of geopolitical subdivision
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治分区") chinese_format.kif 805-805 primary geopolitical subdivision is a subrelation of geopolitical subdivision
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") domainEnglishFormat.kif 25870-25870 primary geopolitical subdivision is a subrelation of geopolitical subdivision
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") domainEnglishFormat.kif 25869-25869 primary geopolitical subdivision is a subrelation of geopolitical subdivision
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") domainEnglishFormat.kif 25868-25868 primary geopolitical subdivision is a subrelation of geopolitical subdivision

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 9266-9271 A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area
(=>
    (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 7001-7006
(=>
    (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 21280-21288

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


(geopoliticalSubdivision Beijing China) CountriesAndRegions.kif 4255-4255 Beijing is a geopolitical part of china
(geopoliticalSubdivision Chengdu China) CountriesAndRegions.kif 4275-4275 Chengdu is a geopolitical part of china
(geopoliticalSubdivision Chongqing China) CountriesAndRegions.kif 4259-4259 Chongqing is a geopolitical part of china
(geopoliticalSubdivision Guangzhou China) CountriesAndRegions.kif 4267-4267 Guangzhou is a geopolitical part of china
(geopoliticalSubdivision Nanjing China) CountriesAndRegions.kif 4279-4279 Nanjing is a geopolitical part of china
(geopoliticalSubdivision Shanghai China) CountriesAndRegions.kif 4251-4251 Shanghai is a geopolitical part of china
(geopoliticalSubdivision Shenzhen China) CountriesAndRegions.kif 4271-4271 Shenzhen is a geopolitical part of china
(geopoliticalSubdivision Tianjin China) CountriesAndRegions.kif 4263-4263 Tianjin is a geopolitical part of china
(geopoliticalSubdivision Wuhan China) CountriesAndRegions.kif 4283-4283 Wuhan is a geopolitical part of china
(geopoliticalSubdivision Xian China) CountriesAndRegions.kif 4287-4287 Xi'an is a geopolitical part of china


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 is open source software produced by Articulate Software and its partners