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 4173-4174
(externalImage Butte " Butte_in_Canyonlands.jpeg") pictureList-ImageNet.kif 625-625
(externalImage Butte " East_Mitten_Butte_in_Monument_Valley.jpg") pictureList-ImageNet.kif 624-624
(externalImage Butte " Fajada_Butte.jpg/ 300px-Fajada_Butte.jpg") pictureList-ImageNet.kif 626-626
(subclass Butte LandForm) Geography.kif 4172-4172 ButteLandFormsubclass では %n
(subclass Butte UplandArea) Geography.kif 4171-4171 ButteUplandAreasubclass では %n

appearance as argument number 2

(termFormat ChineseLanguage Butte "孤山") domainEnglishFormat.kif 12505-12505
(termFormat ChineseTraditionalLanguage Butte "孤山") domainEnglishFormat.kif 12504-12504
(termFormat EnglishLanguage Butte "butte") domainEnglishFormat.kif 12503-12503


        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 4188-4194
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 4176-4180
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))
Geography.kif 4182-4186

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