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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iraq

 Sigma KEE - Iraq
Iraq(伊拉克)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3221-3221 伊拉克第纳尔 是 伊拉克 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1263-1263
No TPTP formula. May not be expressible in strict first order. Economy.kif 662-662 发展中国家 是 伊拉克 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 278-278 较未发达国家 是 伊拉克 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 519-519
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 248-248 伊拉克 是 中东地区 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 249-249 伊拉克 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2572-2572 Atrush 伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2584-2584 伊拉克巴格达 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2764-2764 达胡克伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2867-2867 Ghalebieh伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2913-2913 哈瓦那伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2941-2941 Ibsril伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2948-2948 伊尔比尔伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3286-3286 纳杰夫伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3466-3466 Sairanbar伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3552-3552 苏莱曼尼亚伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3556-3556 苏莱曼尼亚伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3626-3626 Umm qasr伊拉克 是 伊拉克 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4005-4005 伊拉克 的名 是 "Iraq"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30973-30973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30972-30972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30971-30971

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2722-2722 "IQ" 在 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