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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alaska
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 AlaskaAmericanStateinstance では %n
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 AlaskaArcticOceanmeets %n{ない}
(meetsSpatially Alaska Canada) CountriesAndRegions.kif 880-880 AlaskaCanadameets %n{ない}
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 AlaskaPacificOceanmeets %n{ない}

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


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



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