Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  Alaska

Sigma KEE - Alaska
Alaska(alaska)
AK, Alaska, Last_Frontier

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 422-422 Alaska is a geographic subregion of Western NorthAmerica
(instance Alaska AmericanState) CountriesAndRegions.kif 869-869 Alaska is an instance of american state
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
(meetsSpatially Alaska Canada) CountriesAndRegions.kif 880-880 Alaska meets canada
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
(orientation Alaska BritishColumbia Northwest) Geography.kif 456-456 Alaska is northwest to British Columbia

appearance as argument number 2
-------------------------


(meetsSpatially BritishColumbia Alaska) Geography.kif 455-455 British Columbia meets alaska
(termFormat ChineseLanguage Alaska "阿拉斯加州") domainEnglishFormat.kif 6397-6397 British Columbia meets alaska
(termFormat ChineseTraditionalLanguage Alaska "阿拉斯加州") domainEnglishFormat.kif 6396-6396 British Columbia meets alaska
(termFormat EnglishLanguage Alaska "alaska") domainEnglishFormat.kif 6395-6395 British Columbia 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners