Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Literature

 Sigma KEE - Plateau
Plateau(plateau)
Cambrian_Mountains, Colorado_Plateau, Llano_Estacado, Massif_Central, plateau, tableland

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


(subclass Plateau LandForm) Geography.kif 5639-5639 Plateau is a subclass of land form
(subclass Plateau UplandArea) Geography.kif 5640-5640 Plateau is a subclass of upland area
(documentation Plateau EnglishLanguage "A Plateau is a flat upland area with one steep face, elevated plain.") Geography.kif 5641-5642 Plateau is a subclass of upland area
(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 Plateau is a subclass of upland area
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ Romanceor_Altiplano_1.jpg") pictureList-ImageNet.kif 731-731 Plateau is a subclass of upland area
(externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Dieng_Plateau_view_from_complex_of_Candi_Arjuna.JPG") pictureList-ImageNet.kif 732-732 Plateau is a subclass of upland area
(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 Plateau is a subclass of upland area

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


(termFormat EnglishLanguage Plateau "plateau") domainEnglishFormat.kif 46217-46217
(termFormat ChineseTraditionalLanguage Plateau "高原") domainEnglishFormat.kif 46218-46218
(termFormat ChineseLanguage Plateau "高原") domainEnglishFormat.kif 46219-46219

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


(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))		 Geography.kif 5644-5648 If X is an instance of plateau and the top of X is Y, then flat terrain is an attribute of Y
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))		 Geography.kif 5650-5656 If X is an instance of plateau, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, Y, and X overlapsSpatially


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners