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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " Butte_in_Canyonlands.jpeg") pictureList-ImageNet.kif 626-626
(externalImage Butte " East_Mitten_Butte_in_Monument_Valley.jpg") pictureList-ImageNet.kif 625-625
(externalImage Butte " Fajada_Butte.jpg/ 300px-Fajada_Butte.jpg") pictureList-ImageNet.kif 627-627
(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 12445-12445
(termFormat ChineseTraditionalLanguage Butte "孤山") domainEnglishFormat.kif 12444-12444
(termFormat EnglishLanguage Butte "butte") domainEnglishFormat.kif 12443-12443


        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 3975-3981
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 3963-3967
        (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