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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArabianSea
ArabianSea(阿拉伯海)

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 阿拉伯海 是 海 的 instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5169-5169 腺嘌呤 和 阿拉伯海 是 connected
No TPTP formula. May not be expressible in strict first order. Geography.kif 5161-5161 阿曼湾 和 阿拉伯海 是 connected
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