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 4173-4174
(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 4172-4172 孤山土地形式subclass
(subclass Butte UplandArea) Geography.kif 4171-4171 孤山高地地区subclass

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

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


(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 4188-4194
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 4176-4180
(=>
    (and
        (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