Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

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 4363-4364
(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 4361-4361
(subclass Mesa UplandArea) Geography.kif 4362-4362

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 4372-4376
(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))
Geography.kif 4366-4370
(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 4395-4401


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