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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArabianSea

 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 例 阿拉伯海 and 海

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5169-5169 連接的 腺嘌呤 and 阿拉伯海
No TPTP formula. May not be expressible in strict first order. Geography.kif 5161-5161 連接的 阿曼灣 and 阿拉伯海
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 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