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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plateau

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 4137-4138
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ Romanceor_Altiplano_1.jpg") pictureList-ImageNet.kif 731-731
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Dieng_Plateau_view_from_complex_of_Candi_Arjuna.JPG") pictureList-ImageNet.kif 732-732
(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 1215-1215
(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 730-730
(subclass Plateau LandForm) Geography.kif 4135-4135 高原土地形式subclass
(subclass Plateau UplandArea) Geography.kif 4136-4136 高原高地地区subclass

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


(termFormat ChineseLanguage Plateau "高原") domainEnglishFormat.kif 46224-46224
(termFormat ChineseTraditionalLanguage Plateau "高原") domainEnglishFormat.kif 46223-46223
(termFormat EnglishLanguage Plateau "plateau") domainEnglishFormat.kif 46222-46222

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


(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))
Geography.kif 4140-4144
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 4146-4152


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