TreeView Knowledge Base Browser - Mesa

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Mesa

Sigma KEE - Mesa

Mesa(mesa)

appearance as argument number 1

(documentation Mesa EnglishLanguage "A Mesa is a land formation having a relatively flat top and steep rock walls.")	Geography.kif 4078-4079
(externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ MesaVerdeNationalParkCliffPalace.jpg/ 800px-MesaVerdeNationalParkCliffPalace.jpg")	pictureList-ImageNet.kif 664-664
(externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Gloss_Mountains.jpg/ 180px-Gloss_Mountains.jpg")	pictureList.kif 1179-1179
(subclass Mesa LandForm)	Geography.kif 4076-4076	Mesa is a subclass of land form
(subclass Mesa UplandArea)	Geography.kif 4077-4077	Mesa is a subclass of upland area

appearance as argument number 2

(termFormat ChineseLanguage Mesa "台面")	domainEnglishFormat.kif 37194-37194
(termFormat ChineseTraditionalLanguage Mesa "檯面")	domainEnglishFormat.kif 37193-37193
(termFormat EnglishLanguage Mesa "mesa")	domainEnglishFormat.kif 37192-37192

antecedent

(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain))	Geography.kif 4087-4091	If a self connected object is an instance of mesa 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 ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain))	Geography.kif 4081-4085	If a self connected object is an instance of mesa 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
(=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1))	Geography.kif 4110-4116	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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