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 4243-4244
(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 4242-4242	Butte is a subclass of land form
(subclass Butte UplandArea)	Geography.kif 4241-4241	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 4258-4264	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 4246-4250	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 4252-4256	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