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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Venezuela

 Sigma KEE - Venezuela
Venezuela(venezuela)
Republic_of_Venezuela, Venezuela

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3571-3571 Venezuelan bolivar is a currency type of venezuela
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 Developing country is an economy type of venezuela
No TPTP formula. May not be expressible in strict first order. Economy.kif 344-344 Less developed country is an economy type of venezuela
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 Venezuela is a geographic subregion of northern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 511-511 Venezuela is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2546-2546 Apure venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2729-2729 Chorros quero venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2827-2827 El ripial apure venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3097-3097 La gabarra venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3103-3103 La victoria venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3118-3118 Libertador venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3143-3143 Los bancos venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3342-3342 Oilfields venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3628-3628 Urena venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4131-4131 Venezuela has name "Venezuela"
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" in ISO-3166-1-alpha-2 denotes venezuela


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