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 12953-12958
(domain geopoliticalSubdivision 1 GeopoliticalArea) Merge.kif 12951-12951 domain geopoliticalSubdivision, 1 and GeopoliticalArea
(domain geopoliticalSubdivision 2 GeopoliticalArea) Merge.kif 12952-12952 domain geopoliticalSubdivision, 2 and GeopoliticalArea
(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 12948-12948 instance geopoliticalSubdivision and AsymmetricRelation
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 12949-12949 instance geopoliticalSubdivision and TransitiveRelation
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 12950-12950 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 817-817
(format EnglishLanguage geopoliticalSubdivision "%1 は %2 の geopolitical 部分では %n") english_format.kif 818-818
(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 and "地缘政治分区"
(termFormat ChineseLanguage geopoliticalSubdivision "地缘政治细分") domainEnglishFormat.kif 25771-25771 termFormat ChineseLanguage, geopoliticalSubdivision and "地缘政治细分"
(termFormat ChineseTraditionalLanguage geopoliticalSubdivision "地緣政治細分") domainEnglishFormat.kif 25770-25770 termFormat ChineseTraditionalLanguage, geopoliticalSubdivision and "地緣政治細分"
(termFormat EnglishLanguage geopoliticalSubdivision "geopolitical subdivision") domainEnglishFormat.kif 25769-25769 termFormat EnglishLanguage, geopoliticalSubdivision and "geopolitical subdivision"

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


(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))
Government.kif 4599-4604
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4466-4471
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))
Government.kif 471-474
(=>
    (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 7820-7825 instance GeopoliticalArea and CityDistrict GeopoliticalArea instance GeopoliticalArea and City geopoliticalSubdivision GeopoliticalArea and GeopoliticalArea
(=>
    (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 2435-2448
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6269-6274
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (not
        (geopoliticalSubdivision ?AREA ?COUNTRY)))
Government.kif 466-469
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))
Mid-level-ontology.kif 17470-17478


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners