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


KB Term:  Term intersection
English Word: 

Sigma KEE - StateOrProvince
StateOrProvince(state or province)Abkhaz, Abkhazia, Adzhar, Adzharia, Alberta, Andhra_Pradesh, Anjou, Artois, Assamese, Australian_state, Bavaria, Bavarian, Bihar, Bourgogne, Breiz, Bretagne, British_Columbia, Brittany, Buganda, Burgundy, Californian, Campeche, Canadian_Maritime_Provinces, Canadian_province, Cape_Colony, Cape_Province, Cape_of_Good_Hope, Cape_of_Good_Hope_Province, Chihuahua, Chosen, Coahuila, Eritrean, Franche-Comte, Free_State, Friesland, Galwegian, Gansu, Gansu_province, Georgian, Goa, Guangdong, Guangdong_province, Hebei, Hebei_province, Hopeh, Hopei, Hunan, Hunan_province, Inner_Mongolia, Kansu...

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


(documentation StateOrProvince ChineseLanguage "这是一个 Nation 比现存其他政治分区更要广大的 行政分区。这个 Class 包括美国的州与加拿大和欧洲的省份。") chinese_format.kif 3348-3349
(documentation StateOrProvince EnglishLanguage "Administrative subdivisions of a Nation that are broader than any other political subdivisions that may exist. This Class includes the states of the United States, as well as the provinces of Canada and European countries.") Merge.kif 14407-14410
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14405-14405 State or province is a subclass of geopolitical area
(subclass StateOrProvince LandArea) Merge.kif 14406-14406 State or province is a subclass of land area

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


(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21 AmericanState is a subclass of state or province
(subclass CanadianProvinces StateOrProvince) Geography.kif 1510-1510 CanadianProvinces is a subclass of state or province
(termFormat ChineseLanguage StateOrProvince "州或省") chinese_format.kif 959-959 CanadianProvinces is a subclass of state or province
(termFormat EnglishLanguage StateOrProvince "state or province") english_format.kif 1125-1125 CanadianProvinces is a subclass of state or province
(termFormat FrenchLanguage StateOrProvince "Etat ou province") french_format.kif 635-635 CanadianProvinces is a subclass of state or province
(termFormat Hindi StateOrProvince "raajya yaa praanta") terms-hindi.txt 166-166 CanadianProvinces is a subclass of state or province
(termFormat ItalianLanguage StateOrProvince "StatoOProvincia") terms-it.txt 169-169 CanadianProvinces is a subclass of state or province
(termFormat JapaneseLanguage StateOrProvince "州") japanese_format.kif 2320-2320 CanadianProvinces is a subclass of state or province
(termFormat PortugueseLanguage StateOrProvince "Estado ou Provincia") portuguese_format.kif 587-587 CanadianProvinces is a subclass of state or province
(termFormat cb StateOrProvince "lalawigan") terms-cb.txt 171-171 CanadianProvinces is a subclass of state or province
(termFormat cz StateOrProvince "state or province") terms-cz.txt 203-203 CanadianProvinces is a subclass of state or province
(termFormat de StateOrProvince "Staat or Provinz") terms-de.txt 462-462 CanadianProvinces is a subclass of state or province
(termFormat ro StateOrProvince "stat sau provincie") relations-ro.kif 656-656 CanadianProvinces is a subclass of state or province
(termFormat tg StateOrProvince "lalawigan") terms-tg.txt 170-170 CanadianProvinces is a subclass of state or province

appearance as argument number 3
-------------------------


(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 26394-26394 The number 2 argument of postDistrict is an instance of state or province

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 26400-26405 A PostalPlace is located at a state or province and the PostalPlace is an instance of PostalPlace and the state or province is an instance of state or province if and only if postDistrict the PostalPlace and the state or province
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 9527-9529 A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of StateGovernment
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8587-8591
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 26375-26380
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 26343-26348
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 26457-26462
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14412-14417

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1584-1586
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14433-14438