![]() |
![]() ![]() ![]()
|
![]() |
|
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 14370-14373 | |
(subclass StateOrProvince GeopoliticalArea) | Merge.kif 14368-14368 | 州 は 地政学的地域 の subclass では |
(subclass StateOrProvince LandArea) | Merge.kif 14369-14369 | 州 は 土地面積 の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain postDistrict 2 StateOrProvince) | Mid-level-ontology.kif 26405-26405 | postDistrict の数値 2 引数は 州 の instance では |
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 14396-14401 |
statement |
![]() |
(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 7142-7142 | AmericanState は GeographicPartTypeFn 州 and UnitedStates と equal では |
![]() |
![]() |