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 3819-3820
(subclass UplandArea LandForm) Geography.kif 3818-3818

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


(subclass Butte UplandArea) Geography.kif 4009-4009
(subclass Hill UplandArea) Geography.kif 3882-3882
(subclass Mesa UplandArea) Geography.kif 3993-3993
(subclass Mountain UplandArea) Geography.kif 3865-3865
(subclass MountainRange UplandArea) Geography.kif 3851-3851
(subclass Plateau UplandArea) Geography.kif 3974-3974
(subclass WatershedDivide UplandArea) Geography.kif 3931-3931
(termFormat ChineseLanguage UplandArea "高地地区") domainEnglishFormat.kif 60586-60586
(termFormat ChineseTraditionalLanguage UplandArea "高地地區") domainEnglishFormat.kif 60585-60585
(termFormat EnglishLanguage UplandArea "upland area") domainEnglishFormat.kif 60584-60584

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


(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA UplandArea))
Geography.kif 1768-1770


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