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

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 5708-5709
(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 1178-1178
(subclass Mesa LandForm)	Geography.kif 5706-5706	Mesa is a subclass of LandForm
(subclass Mesa UplandArea)	Geography.kif 5707-5707	Mesa is a subclass of UplandArea

appearance as argument number 2

(termFormat ChineseLanguage Mesa "台面")	domainEnglishFormat.kif 37213-37213
(termFormat ChineseTraditionalLanguage Mesa "檯面")	domainEnglishFormat.kif 37212-37212
(termFormat EnglishLanguage Mesa "mesa")	domainEnglishFormat.kif 37211-37211

antecedent

(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain))	Geography.kif 5717-5721	If a self connected object is an instance of Mesa and a side of the self connected object is another self connected object, then SteepTerrain is an attribute of the other self connected object
(=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain))	Geography.kif 5711-5715	If a self connected object is an instance of Mesa and the top of the self connected object is another self connected object, then FlatTerrain 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 5740-5746	If a physical is an instance of Butte and another physical is an instance of Mesa and linearExtent the physical and a real number an unit of measure(s) and linearExtent the other physical and 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