|
|
   AmericanState
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AmericanState EnglishLanguage "The class of states that make up the UnitedStates.") | CountriesAndRegions.kif 22-23 | |
| (equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 6976-6976 | 等於 美國國家 and StateOrProvince 所有的 instances 在 美國 |
| (externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png") | pictureList.kif 1466-1466 | |
| (subclass AmericanState StateOrProvince) | CountriesAndRegions.kif 21-21 | 子類 美國國家 and StateOrProvince |
| appearance as argument number 2 |
|
|
| (instance Alabama AmericanState) | CountriesAndRegions.kif 865-865 | 例 阿拉巴馬 and 美國國家 |
| (instance Alaska AmericanState) | CountriesAndRegions.kif 869-869 | 例 阿拉斯加州 and 美國國家 |
| (instance Arizona AmericanState) | CountriesAndRegions.kif 883-883 | 例 Arizona and 美國國家 |
| (instance Arkansas AmericanState) | CountriesAndRegions.kif 889-889 | 例 阿肯色州 and 美國國家 |
| (instance California AmericanState) | CountriesAndRegions.kif 895-895 | 例 加州 and 美國國家 |
| (instance Colorado AmericanState) | CountriesAndRegions.kif 908-908 | 例 科羅拉多州 and 美國國家 |
| (instance Connecticut AmericanState) | CountriesAndRegions.kif 914-914 | 例 康涅狄格 and 美國國家 |
| (instance Delaware AmericanState) | CountriesAndRegions.kif 918-918 | 例 Delaware and 美國國家 |
| (instance FloridaUnitedStates AmericanState) | CountriesAndRegions.kif 924-924 | 例 佛羅里達 and 美國國家 |
| (instance Georgia AmericanState) | CountriesAndRegions.kif 930-930 | 例 格魯吉亞 and 美國國家 |
| (instance Hawaii AmericanState) | CountriesAndRegions.kif 935-935 | 例 夏威夷 and 美國國家 |
| (instance Idaho AmericanState) | CountriesAndRegions.kif 939-939 | 例 Idaho and 美國國家 |
| (instance Illinois AmericanState) | CountriesAndRegions.kif 947-947 | 例 伊利諾伊 and 美國國家 |
| (instance Indiana AmericanState) | CountriesAndRegions.kif 952-952 | 例 Indiana and 美國國家 |
| (instance Iowa AmericanState) | CountriesAndRegions.kif 955-955 | 例 Iowa and 美國國家 |
| (instance Kansas AmericanState) | CountriesAndRegions.kif 960-960 | 例 Kansas and 美國國家 |
| (instance Kentucky AmericanState) | CountriesAndRegions.kif 965-965 | 例 肯塔基 and 美國國家 |
| (instance Louisiana AmericanState) | CountriesAndRegions.kif 971-971 | 例 路易斯安那州 and 美國國家 |
| (instance Maine AmericanState) | CountriesAndRegions.kif 976-976 | 例 Maine and 美國國家 |
| (instance Maryland AmericanState) | CountriesAndRegions.kif 981-981 | 例 馬里蘭 and 美國國家 |
| (instance Massachusetts AmericanState) | CountriesAndRegions.kif 988-988 | 例 馬薩諸塞 and 美國國家 |
| (instance Michigan AmericanState) | CountriesAndRegions.kif 996-996 | 例 密歇根州 and 美國國家 |
| (instance Minnesota AmericanState) | CountriesAndRegions.kif 1002-1002 | 例 明尼蘇達 and 美國國家 |
| (instance Mississippi AmericanState) | CountriesAndRegions.kif 1008-1008 | 例 密西西比州 and 美國國家 |
| (instance Missouri AmericanState) | CountriesAndRegions.kif 1014-1014 | 例 密蘇里州 and 美國國家 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE)))) |
CountriesAndRegions.kif 897-901 |
|
| (=> (and (instance ?UNIT AreaMeasure) (measure Alaska (MeasureFn ?NUMBER1 ?UNIT)) (measure ?STATE (MeasureFn ?NUMBER2 ?UNIT)) (instance ?STATE AmericanState) (not (equal Alaska ?STATE))) (lessThan ?NUMBER2 ?NUMBER1)) |
CountriesAndRegions.kif 871-878 |
|
| (=> (instance ?STATE AmericanState) (part ?STATE UnitedStates)) |
CountriesAndRegions.kif 25-27 |
|
|
|
