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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Butte
Butte

appearance as argument number 1
-------------------------


(documentation Butte EnglishLanguage "A Butte is an Upland raised sharply from the surrounding region. Smaller in area than a Mesa.") Geography.kif 4011-4012
(externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/5/50/ Butte_in_Canyonlands.jpeg") pictureList-ImageNet.kif 625-625
(externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/a/a5/ East_Mitten_Butte_in_Monument_Valley.jpg") pictureList-ImageNet.kif 624-624
(externalImage Butte "http://upload.wikimedia.org/wikipedia/en/thumb/b/b2/ Fajada_Butte.jpg/ 300px-Fajada_Butte.jpg") pictureList-ImageNet.kif 626-626
(subclass Butte LandForm) Geography.kif 4010-4010
(subclass Butte UplandArea) Geography.kif 4009-4009

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


(termFormat ChineseLanguage Butte "孤山") domainEnglishFormat.kif 12508-12508
(termFormat ChineseTraditionalLanguage Butte "孤山") domainEnglishFormat.kif 12507-12507
(termFormat EnglishLanguage Butte "butte") domainEnglishFormat.kif 12506-12506

antecedent
-------------------------


(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 4026-4032
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 4014-4018
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))
Geography.kif 4020-4024


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