Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArabianSea
ArabianSea(arabian sea)
Arabian_Sea

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. pictureList.kif 939-939
No TPTP formula. May not be expressible in strict first order. Geography.kif 4809-4809 Arabian sea is an instance of sea

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5169-5169 Gulf of aden is connected to arabian sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5161-5161 Gulf of oman is connected to arabian sea
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8112-8112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8111-8111
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8110-8110


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