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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ MesaVerdeNationalParkCliffPalace.jpg/ 800px-MesaVerdeNationalParkCliffPalace.jpg" is a URL depicting mesa
(externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Gloss_Mountains.jpg/ 180px-Gloss_Mountains.jpg") pictureList.kif 1179-1179 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Gloss_Mountains.jpg/ 180px-Gloss_Mountains.jpg" is a URL depicting mesa
(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 37129-37129 "台面" is the printable form of mesa in ChineseLanguage
(termFormat ChineseTraditionalLanguage Mesa "檯面") domainEnglishFormat.kif 37128-37128 "檯面" is the printable form of mesa in ChineseTraditionalLanguage
(termFormat EnglishLanguage Mesa "mesa") domainEnglishFormat.kif 37127-37127 "mesa" is the printable form of mesa in english language

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners