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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UplandArea
UplandArea

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


(documentation UplandArea EnglishLanguage "An UplandArea is a LandArea elevated above the surrounding terrain.") Geography.kif 4051-4052
(subclass UplandArea LandForm) Geography.kif 4050-4050 UplandAreaLandFormsubclass では %n

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


(subclass Butte UplandArea) Geography.kif 4241-4241 ButteUplandAreasubclass では %n
(subclass Hill UplandArea) Geography.kif 4114-4114 HillUplandAreasubclass では %n
(subclass Mesa UplandArea) Geography.kif 4225-4225 MesaUplandAreasubclass では %n
(subclass Mountain UplandArea) Geography.kif 4097-4097 MountainUplandAreasubclass では %n
(subclass MountainRange UplandArea) Geography.kif 4083-4083 MountainRangeUplandAreasubclass では %n
(subclass Plateau UplandArea) Geography.kif 4206-4206 PlateauUplandAreasubclass では %n
(subclass WatershedDivide UplandArea) Geography.kif 4163-4163 WatershedDivideUplandAreasubclass では %n
(termFormat ChineseLanguage UplandArea "高地地区") domainEnglishFormat.kif 60643-60643 WatershedDivideUplandAreasubclass では %n
(termFormat ChineseTraditionalLanguage UplandArea "高地地區") domainEnglishFormat.kif 60642-60642 WatershedDivideUplandAreasubclass では %n
(termFormat EnglishLanguage UplandArea "upland area") domainEnglishFormat.kif 60641-60641 WatershedDivideUplandAreasubclass では %n

consequent
-------------------------


(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA UplandArea))
Geography.kif 1785-1787


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