Oasis - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Oasis

Oasis(oasis)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6640-6641
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1202-1202
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6637-6637	Oasis is a subclass of biome
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6638-6638	Oasis is a subclass of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41506-41506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41505-41505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41504-41504

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6657-6659	If an object is an instance of oasis, then fertile terrain is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6643-6648	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6650-6655	If an object is an instance of oasis, then there exists a physical such that the physical is an instance of fresh water area 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