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 405-411
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea) Government.kif 401-401 主要地缘政治细分 的 1 数量 是 地缘政治区域instance
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea) Government.kif 402-402 主要地缘政治细分 的 2 数量 是 地缘政治区域instance
(instance primaryGeopoliticalSubdivision AsymmetricRelation) Government.kif 400-400 主要地缘政治细分非对称关系instance
(instance primaryGeopoliticalSubdivision BinaryPredicate) Government.kif 399-399 主要地缘政治细分二元谓语instance
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Government.kif 403-403 主要地缘政治细分地缘政治分区subrelation

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 47306-47306
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分") domainEnglishFormat.kif 47305-47305
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") domainEnglishFormat.kif 47304-47304

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


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

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


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6938-6942
(=>
    (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
    (exists (?SUBAREA)
        (and
            (instance ?SUBAREA ?TYPE)
            (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))
Government.kif 422-427

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


(primaryGeopoliticalSubdivision England UnitedKingdom) Geography.kif 6970-6970 英国Englandprimary 地缘政治细分
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) Geography.kif 6969-6969 英国北爱尔兰primary 地缘政治细分
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) Geography.kif 6968-6968 英国苏格兰primary 地缘政治细分
(primaryGeopoliticalSubdivision Wales UnitedKingdom) Geography.kif 6971-6971 英国Walesprimary 地缘政治细分


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