TreeView Knowledge Base Browser - RedSea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RedSea

RedSea(red sea)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	Red sea is connected to gulf of aden
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4804-4804
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4801-4801	Red sea is an instance of sea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4802-4802	Egypt meets red sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4804-4804	Eritrea meets red sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4805-4805	Saudi arabia meets red sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4803-4803	Sudan meets red sea
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49072-49072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49071-49071
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49070-49070

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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