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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mesa
Mesa(mesa)
mesa, table

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 3943-3944
(externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ MesaVerdeNationalParkCliffPalace.jpg/ 800px-MesaVerdeNationalParkCliffPalace.jpg") pictureList-ImageNet.kif 665-665
(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 3941-3941 Mesa is a subclass of land form
(subclass Mesa UplandArea) Geography.kif 3942-3942 Mesa is a subclass of upland area

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


(termFormat ChineseLanguage Mesa "台面") domainEnglishFormat.kif 37126-37126
(termFormat ChineseTraditionalLanguage Mesa "檯面") domainEnglishFormat.kif 37125-37125
(termFormat EnglishLanguage Mesa "mesa") domainEnglishFormat.kif 37124-37124

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


(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 3952-3956
(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))
Geography.kif 3946-3950
(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 3975-3981


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