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 14385-14388 | |
(subclass StateOrProvince GeopoliticalArea) | Merge.kif 14383-14383 | State or province is a subclass of geopolitical area |
(subclass StateOrProvince LandArea) | Merge.kif 14384-14384 | State or province is a subclass of land area |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain postDistrict 2 StateOrProvince) | Mid-level-ontology.kif 26403-26403 | The number 2 argument of post district is an instance of state or province |
antecedent |
![]() |
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 14411-14416 |
|
statement |
![]() |
(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 7280-7280 | equal american state and all the instances of state or province in united states |
(equal CanadianProvinces (GeographicPartTypeFn StateOrProvince Canada)) |
Geography.kif 401-402 | equal Canadian provinces and all the instances of state or province in canada |
![]() |
![]() |