TreeView Knowledge Base Browser - AtlanticOcean

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AtlanticOcean

AtlanticOcean

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4536-4537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 243-243
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4534-4534	AtlanticOcean est une instance de Ocean

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4544-4544	geographicSubregion NorthAtlanticOcean and AtlanticOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4557-4557	geographicSubregion SouthAtlanticOcean and AtlanticOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4535-4535	AtlanticOcean s'appele nom "Atlantic Ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8892-8892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8891-8891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8890-8890

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