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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	RedSea e' conectado com GulfOfAden
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	RedSea e' uma instancia de Sea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4802-4802	Egypt encontra RedSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4804-4804	Eritrea encontra RedSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4805-4805	SaudiArabia encontra RedSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4803-4803	Sudan encontra RedSea
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