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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2996-2996 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 618-618 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 9788-9788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9787-9787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9786-9786

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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