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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plateau
Plateau

appearance as argument number 1
-------------------------


(documentation Plateau EnglishLanguage "A Plateau is a flat upland area with one steep face, elevated plain.") Geography.kif 3911-3912
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ Romanceor_Altiplano_1.jpg") pictureList-ImageNet.kif 732-732
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Dieng_Plateau_view_from_complex_of_Candi_Arjuna.JPG") pictureList-ImageNet.kif 733-733
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2a/ Mt_Roraima_in_Venezuela_001.JPG/ 275px-Mt_Roraima_in_Venezuela_001.JPG") pictureList.kif 1216-1216
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ be/ Novegno,_l'acrocoro_con_le_malghe.jpg/ 180px-Novegno,_l'acrocoro_con_le_malghe.jpg") pictureList-ImageNet.kif 731-731
(subclass Plateau LandForm) Geography.kif 3909-3909
(subclass Plateau UplandArea) Geography.kif 3910-3910

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


(termFormat ChineseLanguage Plateau "高原") domainEnglishFormat.kif 46159-46159
(termFormat ChineseTraditionalLanguage Plateau "高原") domainEnglishFormat.kif 46158-46158
(termFormat EnglishLanguage Plateau "plateau") domainEnglishFormat.kif 46157-46157

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


(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))
Geography.kif 3914-3918
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 3920-3926


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