Desert - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6923-6924
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1472-1472
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6922-6922	Desert is a subclass of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6940-6940	Sahara Desert is an instance of desert
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19209-19209	Sahara Desert is an instance of desert
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19208-19208	Sahara Desert is an instance of desert
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19207-19207	Sahara Desert is an instance of desert

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6926-6928	If an object is an instance of desert, then dry is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6936-6938	If a geographic area is an instance of desert, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6930-6934	If a land area is an instance of desert, then rock is a ground surface type of the land area or sand is a ground surface type of the land area

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3321-3334	If a process is an instance of desertification and the process is located at an object, then there exist an entity and another entity such that the entity is an instance of arable land and the other entity is an instance of desert and the object and the entity overlapsSpatially holds during the beginning of the time of existence of the process and the object and the other entity overlapsSpatially holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6980-6985	If a physical is an instance of oasis, then there exists an object such that the object is an instance of desert and the physical is located at the object

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