Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  primaryGeopoliticalSubdivision

 Sigma KEE - primaryGeopoliticalSubdivision
primaryGeopoliticalSubdivision

appearance as argument number 1
-------------------------


(instance primaryGeopoliticalSubdivision BinaryPredicate) Mid-level-ontology.kif 34174-34174 primary geopolitical subdivision is an instance of binary predicate
(instance primaryGeopoliticalSubdivision AsymmetricRelation) Mid-level-ontology.kif 34175-34175 primary geopolitical subdivision is an instance of asymmetric relation
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea) Mid-level-ontology.kif 34176-34176 The number 1 argument of primary geopolitical subdivision is an instance of geopolitical area
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea) Mid-level-ontology.kif 34177-34177 The number 2 argument of primary geopolitical subdivision is an instance of geopolitical area
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) Mid-level-ontology.kif 34178-34178 primary geopolitical subdivision is a subrelation of geopolitical subdivision
(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 34180-34186 primary geopolitical subdivision is a subrelation of geopolitical subdivision

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


(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 422-422 dependent geopolitical area is internally related to primary geopolitical subdivision
(format EnglishLanguage primaryGeopoliticalSubdivision "%2 is %n a primary geopolitical subdivision of %1") domainEnglishFormat.kif 2045-2045 dependent geopolitical area is internally related to primary geopolitical subdivision
(format ChineseTraditionalLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地緣政治細分") domainEnglishFormat.kif 2046-2046 dependent geopolitical area is internally related to primary geopolitical subdivision
(format ChineseLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地缘政治细分") domainEnglishFormat.kif 2047-2047 dependent geopolitical area is internally related to primary geopolitical subdivision
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") domainEnglishFormat.kif 47299-47299 dependent geopolitical area is internally related to primary geopolitical subdivision
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分") domainEnglishFormat.kif 47300-47300 dependent geopolitical area is internally related to primary geopolitical subdivision
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分") domainEnglishFormat.kif 47301-47301 dependent geopolitical area is internally related to primary geopolitical subdivision

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


(=>
    (and
        (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
        (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))
    (instance ?SUBAREA ?TYPE))		 Mid-level-ontology.kif 34203-34207 If X is a primary geopolitical subdivision type of Y and Y is a primary geopolitical subdivision of Z, then Z is an instance of X

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


(=>
    (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
    (exists (?SUBAREA)
        (and
            (instance ?SUBAREA ?TYPE)
            (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))		 Mid-level-ontology.kif 34196-34201 If X is a primary geopolitical subdivision type of Y, then there exists Z such that Z is an instance of X and Y is a primary geopolitical subdivision of Z
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8602-8606 If X is an instance of all the instances of state or province in Y and Y is an instance of nation, then Y is a primary geopolitical subdivision of X

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners