StateOrProvince(Etat ou province) | ![]() |
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 | Etat ou province est une sous-classe de secteur g�opolitique |
(subclass StateOrProvince LandArea) | Merge.kif 14384-14384 | Etat ou province est une sous-classe de zone de terre |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain postDistrict 2 StateOrProvince) | Mid-level-ontology.kif 26403-26403 | Le nombre 2 argument de postDistrict est une instance de Etat ou 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 7313-7313 | equal AmericanState and GeographicPartTypeFn Etat ou province and UnitedStates |
(equal CanadianProvinces (GeographicPartTypeFn StateOrProvince Canada)) |
Geography.kif 434-435 | equal CanadianProvinces and GeographicPartTypeFn Etat ou province and Canada |
![]() |
![]() |