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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - primaryGeopoliticalSubdivision

appearance as argument number 1

(documentation primaryGeopoliticalSubdivision EnglishLanguage "(primaryGeopoliticalSubdivision ?AREA ?COUNTRY) means that the GeopoliticalArea ?AREA is one of the first-order administrative divisions of the Nation ?COUNTRY. For example, in the United States, any of the fifty states. This does not include subordinate regions that have a lesser status, such as British Crown colonies, U.S. territories, or protectorates. See geopoliticalSubdivision.") Government.kif 405-411
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea) Government.kif 401-401
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea) Government.kif 402-402
(instance primaryGeopoliticalSubdivision AsymmetricRelation) Government.kif 400-400
(instance primaryGeopoliticalSubdivision BinaryPredicate) Government.kif 399-399
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Government.kif 403-403

appearance as argument number 2

(format ChineseLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地缘政治细分") domainEnglishFormat.kif 2043-2043
(format ChineseTraditionalLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地緣政治細分") domainEnglishFormat.kif 2042-2042
(format EnglishLanguage primaryGeopoliticalSubdivision "%2 is %n a primary geopolitical subdivision of %1") domainEnglishFormat.kif 2041-2041
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 458-458
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分") domainEnglishFormat.kif 47289-47289
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分") domainEnglishFormat.kif 47288-47288
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") domainEnglishFormat.kif 47287-47287


        (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
        (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))
    (instance ?SUBAREA ?TYPE))
Government.kif 429-433


        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6626-6630
    (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
    (exists (?SUBAREA)
            (instance ?SUBAREA ?TYPE)
            (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))
Government.kif 422-427

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