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 2 GeopoliticalArea) Government.kif 390-390
(instance primaryGeopoliticalSubdivision AsymmetricRelation) Government.kif 388-388
(instance primaryGeopoliticalSubdivision BinaryPredicate) Government.kif 387-387
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Government.kif 391-391

appearance as argument number 2
-------------------------


(format EnglishLanguage primaryGeopoliticalSubdivision "%2 is %n a primary geopolitical subdivision of %1") domainEnglishFormat.kif 519-519
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 447-447
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") domainEnglishFormat.kif 8307-8307

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 6261-6265
(=>
    (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
    (exists (?SUBAREA)
        (and
            (instance ?SUBAREA ?TYPE)
            (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))		 Government.kif 410-415