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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - primaryGeopoliticalSubdivision
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 393-399
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea) Government.kif 389-389 domain primaryGeopoliticalSubdivision, 1 and GeopoliticalArea
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea) Government.kif 390-390 domain primaryGeopoliticalSubdivision, 2 and GeopoliticalArea
(instance primaryGeopoliticalSubdivision AsymmetricRelation) Government.kif 388-388 instance primaryGeopoliticalSubdivision and AsymmetricRelation
(instance primaryGeopoliticalSubdivision BinaryPredicate) Government.kif 387-387 instance primaryGeopoliticalSubdivision and BinaryPredicate
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Government.kif 391-391 subrelation primaryGeopoliticalSubdivision and geopoliticalSubdivision

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 447-447 relatedInternalConcept dependentGeopoliticalArea and primaryGeopoliticalSubdivision
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分") domainEnglishFormat.kif 47234-47234
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分") domainEnglishFormat.kif 47233-47233
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") domainEnglishFormat.kif 47232-47232

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


(=>
    (and
        (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
        (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))
    (instance ?SUBAREA ?TYPE))
Government.kif 417-421

consequent
-------------------------


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6369-6373
(=>
    (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
    (exists (?SUBAREA)
        (and
            (instance ?SUBAREA ?TYPE)
            (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))
Government.kif 410-415

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


(primaryGeopoliticalSubdivision England UnitedKingdom) Geography.kif 6401-6401 primaryGeopoliticalSubdivision England and UnitedKingdom
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) Geography.kif 6400-6400 primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) Geography.kif 6399-6399 primaryGeopoliticalSubdivision Scotland and UnitedKingdom
(primaryGeopoliticalSubdivision Wales UnitedKingdom) Geography.kif 6402-6402 primaryGeopoliticalSubdivision Wales and UnitedKingdom


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