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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Venezuela

 Sigma KEE - Venezuela
Venezuela(委內瑞拉)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3571-3571 委內瑞拉玻利瓦爾 是 委內瑞拉 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1381-1381
No TPTP formula. May not be expressible in strict first order. Economy.kif 728-728 發展中國家 是 委內瑞拉 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 344-344 較未發達國家 是 委內瑞拉 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 821-821
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 510-510 委內瑞拉 是 北美洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 511-511 例 委內瑞拉 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2546-2546 Apure 委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2729-2729 Chorros quero 委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2827-2827 El ripial apure 委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3097-3097 La gabarra 委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3103-3103 拉維多利亞委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3118-3118 Libertador委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3143-3143 Los bancos 委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3342-3342 油田委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3628-3628 Urena委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4131-4131 名 "Venezuela" and 委內瑞拉
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61490-61490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61489-61489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61488-61488

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


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