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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Butte
Butte(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 3960-3961
(externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/5/50/ Butte_in_Canyonlands.jpeg") pictureList-ImageNet.kif 626-626 "http://upload.wikimedia.org/wikipedia/commons/5/50/ Butte_in_Canyonlands.jpeg" is a URL depicting butte
(externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/a/a5/ East_Mitten_Butte_in_Monument_Valley.jpg") pictureList-ImageNet.kif 625-625 "http://upload.wikimedia.org/wikipedia/commons/a/a5/ East_Mitten_Butte_in_Monument_Valley.jpg" is a URL depicting butte
(externalImage Butte "http://upload.wikimedia.org/wikipedia/en/thumb/b/b2/ Fajada_Butte.jpg/ 300px-Fajada_Butte.jpg") pictureList-ImageNet.kif 627-627 "http://upload.wikimedia.org/wikipedia/en/thumb/b/b2/ Fajada_Butte.jpg/ 300px-Fajada_Butte.jpg" is a URL depicting butte
(subclass Butte LandForm) Geography.kif 3959-3959 Butte is a subclass of land form
(subclass Butte UplandArea) Geography.kif 3958-3958 Butte is a subclass of upland area

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


(termFormat ChineseLanguage Butte "孤山") domainEnglishFormat.kif 12451-12451 "孤山" is the printable form of butte in ChineseLanguage
(termFormat ChineseTraditionalLanguage Butte "孤山") domainEnglishFormat.kif 12450-12450 "孤山" is the printable form of butte in ChineseTraditionalLanguage
(termFormat EnglishLanguage Butte "butte") domainEnglishFormat.kif 12449-12449 "butte" is the printable form of butte in english language

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


(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 3975-3981
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 3963-3967
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))
Geography.kif 3969-3973


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners