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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Desert
Desert(desert)
An_Nafud, An_Nefud, Ar_Rimsal, Arabian_Desert, Atacama_Desert, Australian_Desert, Black_Africa, Black_Rock_Desert, Chihuahuan_Desert, Colorado_Desert, Dahna, Dasht-e-Kavir, Dasht-e-Lut, Death_Valley, Eastern_Desert, Gibson_Desert, Gila_Desert, Gobi, Gobi_Desert, Great_Arabian_Desert, Great_Australian_Desert, Great_Indian_Desert, Great_Salt_Desert, Great_Sandy_Desert, Great_Victoria_Desert, Kalahari, Kalahari_Desert, Kara_Kum, Kavir_Desert, Kizil_Kum, Kyzyl_Kum, Libyan_Desert, Lut_Desert, Mohave, Mohave_Desert, Mojave, Mojave_Desert, Nafud, Namib_Desert, Nefud, Negev, Negev_Desert, Nubian_Desert, Painted_Desert, Patagonian_Desert, Qara_Qum, Qizil_Qum, Rub_al-Khali, Simpson_Desert, Sinai...

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


s__documentation(s__Desert,s__EnglishLanguage,'"Desert is a subclass of LandAreas that are arid regions having sparse or no vegetation."')

Geography.kif 5962-5963
s__externalImage(s__Desert,'"http://upload.wikimedia.org/wikipedia/commons/a/a5/ Namibian_Desert.jpg"')

pictureList.kif 1473-1473
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Desert,s__SetOrClass)

s__subclass(s__Desert,s__LandArea)

Geography.kif 5961-5961 Desert is a subclass of land area

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


s__termFormat(s__ChineseLanguage,s__Desert,'"沙漠"')

domainEnglishFormat.kif 19123-19123
s__termFormat(s__ChineseTraditionalLanguage,s__Desert,'"沙漠"')

domainEnglishFormat.kif 19122-19122
s__termFormat(s__EnglishLanguage,s__Desert,'"desert"')

domainEnglishFormat.kif 19121-19121

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


( ! [V__DESERT] :
   (s__instance(V__DESERT,s__Desert) =>
     s__attribute(V__DESERT,s__Dry) )
   )

Geography.kif 5965-5967
( ! [V__DESERT] :
   (s__instance(V__DESERT,s__Desert) =>
     ~(s__vegetationType(V__DESERT,s__BotanicalTree))
     )
   )

Geography.kif 5975-5977
( ! [V__DESERT] :
   (s__instance(V__DESERT,s__Desert) =>
     (s__groundSurfaceType(V__DESERT,s__Rock) |
       s__groundSurfaceType(V__DESERT,s__Sand))
     )
   )

Geography.kif 5969-5973

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1008-1021
( ! [V__OASIS] :
   (s__instance(V__OASIS,s__Oasis) =>
     ( ? [V__DESERT] :
       ((s__instance(V__DESERT,s__Desert) &
           s__located(V__OASIS,V__DESERT))))
   )
)

Geography.kif 5985-5990


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