Butte - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - 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 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	Butte is a subclass of land form
(subclass Butte UplandArea)	Geography.kif 4171-4171	Butte is a subclass of upland area

appearance as argument number 2

(termFormat ChineseLanguage Butte "孤山")	domainEnglishFormat.kif 12521-12521
(termFormat ChineseTraditionalLanguage Butte "孤山")	domainEnglishFormat.kif 12520-12520
(termFormat EnglishLanguage Butte "butte")	domainEnglishFormat.kif 12519-12519

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	If a physical is an instance of butte and another physical is an instance of mesa and the linear extent of the physical is a real number an unit of measure(s) and the linear extent of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain))	Geography.kif 4176-4180	If a self connected object is an instance of butte and a side of the self connected object is another self connected object, then steep terrain is an attribute of the other self connected object
(=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain))	Geography.kif 4182-4186	If a self connected object is an instance of butte and the top of the self connected object is another self connected object, then flat terrain is an attribute of the other self connected object

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