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.") Mid-level-ontology.kif 33694-33700
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea) Mid-level-ontology.kif 33690-33690 primaryGeopoliticalSubdivision の数値 1 引数は 地政学的地域instance では
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea) Mid-level-ontology.kif 33691-33691 primaryGeopoliticalSubdivision の数値 2 引数は 地政学的地域instance では
(instance primaryGeopoliticalSubdivision AsymmetricRelation) Mid-level-ontology.kif 33689-33689 primaryGeopoliticalSubdivision非対称関係instance では
(instance primaryGeopoliticalSubdivision BinaryPredicate) Mid-level-ontology.kif 33688-33688 primaryGeopoliticalSubdivision2進述語instance では
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Mid-level-ontology.kif 33692-33692 primaryGeopoliticalSubdivisiongeopoliticalSubdivisionsubrelation では

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


(format ChineseLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地缘政治细分") domainEnglishFormat.kif 2047-2047
(format ChineseTraditionalLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地緣政治細分") domainEnglishFormat.kif 2046-2046
(format EnglishLanguage primaryGeopoliticalSubdivision "%2 is %n a primary geopolitical subdivision of %1") domainEnglishFormat.kif 2045-2045
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 422-422 dependentGeopoliticalAreaprimaryGeopoliticalSubdivisioninternally 関連して
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分") domainEnglishFormat.kif 47308-47308 dependentGeopoliticalAreaprimaryGeopoliticalSubdivisioninternally 関連して
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分") domainEnglishFormat.kif 47307-47307 dependentGeopoliticalAreaprimaryGeopoliticalSubdivisioninternally 関連して
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") domainEnglishFormat.kif 47306-47306 dependentGeopoliticalAreaprimaryGeopoliticalSubdivisioninternally 関連して

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


(=>
    (and
        (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
        (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))
    (instance ?SUBAREA ?TYPE))
Mid-level-ontology.kif 33717-33721

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


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 7242-7246
(=>
    (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
    (exists (?SUBAREA)
        (and
            (instance ?SUBAREA ?TYPE)
            (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))
Mid-level-ontology.kif 33710-33715

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


(primaryGeopoliticalSubdivision England UnitedKingdom) Geography.kif 7274-7274 primaryGeopoliticalSubdivision England and UnitedKingdom
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) Geography.kif 7273-7273 primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) Geography.kif 7272-7272 primaryGeopoliticalSubdivision Scotland and UnitedKingdom
(primaryGeopoliticalSubdivision Wales UnitedKingdom) Geography.kif 7275-7275 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