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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bahrain

 Sigma KEE - Bahrain
Bahrain(巴林)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2981-2981 Bahraini第纳尔 是 巴林 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1188-1188
No TPTP formula. May not be expressible in strict first order. Economy.kif 622-622 发展中国家 是 巴林 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 238-238 较未发达国家 是 巴林 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 250-250
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 240-240 巴林 是 中东地区 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 241-241 巴林 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2530-2530 一个 nuwaydirat 巴林 是 巴林 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3181-3181 麦纳麦巴林 是 巴林 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3536-3536 西特拉巴林 是 巴林 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3671-3671 Wattyan巴林 是 巴林 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4001-4001 巴林 的名 是 "Bahrain"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9588-9588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9587-9587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9586-9586

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2660-2660 "BH" 在 ISO-3166-1-alpha-2 denotes 巴林


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