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 4242-4243
(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 4241-4241	Butte is a subclass of land form
(subclass Butte UplandArea)	Geography.kif 4240-4240	Butte is a subclass of upland area

appearance as argument number 2

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

antecedent

(=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1))	Geography.kif 4257-4263	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 4245-4249	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 4251-4255	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