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 | |
(instance Alaska AmericanState) | CountriesAndRegions.kif 869-869 | Alaska è un' istanza di AmericanState |
(meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | Alaska incontras ArcticOcean |
(meetsSpatially Alaska Canada) | CountriesAndRegions.kif 880-880 | Alaska incontras Canada |
(meetsSpatially Alaska PacificOcean) | CountriesAndRegions.kif 881-881 | Alaska incontras PacificOcean |
appearance as argument number 2 |
(termFormat ChineseLanguage Alaska "阿拉斯加州") | domainEnglishFormat.kif 6390-6390 | |
(termFormat ChineseTraditionalLanguage Alaska "阿拉斯加州") | domainEnglishFormat.kif 6389-6389 | |
(termFormat EnglishLanguage Alaska "alaska") | domainEnglishFormat.kif 6388-6388 |
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 |
|