|
|
  Alaska
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Alaska EnglishLanguage "The largest state in the UnitedStates.") | CountriesAndRegions.kif 870-870 | |
| (externalImage Alaska "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ alaska.png") | pictureList.kif 215-215 | |
| (geographicSubregion Alaska WesternNorthAmerica) | Geography.kif 803-803 | geographicSubregion Alaska and WesternNorthAmerica |
| (instance Alaska AmericanState) | CountriesAndRegions.kif 869-869 | Alaska is an instance of AmericanState |
| (meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | Alaska meets ArcticOcean |
| (meetsSpatially Alaska Canada) | CountriesAndRegions.kif 880-880 | Alaska meets Canada |
| (meetsSpatially Alaska PacificOcean) | CountriesAndRegions.kif 881-881 | Alaska meets PacificOcean |
| (orientation Alaska BritishColumbia Northwest) | Geography.kif 837-837 | Alaska is Northwest to BritishColumbia |
| appearance as argument number 2 |
|
|
| (meetsSpatially BritishColumbia Alaska) | Geography.kif 836-836 | BritishColumbia meets Alaska |
| (termFormat ChineseLanguage Alaska "阿拉斯加州") | domainEnglishFormat.kif 6397-6397 | BritishColumbia meets Alaska |
| (termFormat ChineseTraditionalLanguage Alaska "阿拉斯加州") | domainEnglishFormat.kif 6396-6396 | BritishColumbia meets Alaska |
| (termFormat EnglishLanguage Alaska "alaska") | domainEnglishFormat.kif 6395-6395 | BritishColumbia meets Alaska |
| antecedent |
|
|
| (=> (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 |
|
|
|
|
