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(atlantic ocean)

Atlantic, Atlantic_Ocean

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	Atlantic ocean is an instance of ocean

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4544-4544	North atlantic ocean is a geographic subregion of atlantic ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4557-4557	South atlantic ocean is a geographic subregion of atlantic ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4535-4535	Atlantic ocean has name "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