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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bangladesh

Sigma KEE - Bangladesh
Bangladesh(bangladesh)
Bangla_Desh, Bangladesh, East_Pakistan, People's_Republic_of_Bangladesh

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2985-2985 Bangladeshi taka is a currency type of bangladesh
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1189-1189
No TPTP formula. May not be expressible in strict first order. Economy.kif 623-623 Developing country is an economy type of bangladesh
No TPTP formula. May not be expressible in strict first order. Economy.kif 239-239 Less developed country is an economy type of bangladesh
No TPTP formula. May not be expressible in strict first order. pictureList.kif 255-255
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 569-569 Bangladesh is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 570-570 Bangladesh is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2723-2723 Chittagong bangladesh is a geographic subregion of bangladesh
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2779-2779 Dhaka bangladesh is a geographic subregion of bangladesh
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3293-3293 Narayangang bangladesh is a geographic subregion of bangladesh
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3505-3505 Satkhira bangladesh is a geographic subregion of bangladesh
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4161-4161 Bangladesh has name "Bangladesh"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9780-9780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9779-9779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9778-9778

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2656-2656 "BD" in ISO-3166-1-alpha-2 denotes bangladesh


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