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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Bahrain
Bahrain(bahrain)
Bahrain, Bahrein, State_of_Bahrain

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3318-3318 Bahrainian dinar is a currency type of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1188-1188 Bahrainian dinar is a currency type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 622-622 Developing country is an economy type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 238-238 Less developed country is an economy type of bahrain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 250-250 Less developed country is an economy type of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 240-240 Bahrain is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 241-241 Bahrain is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2532-2532 An nuwaydirat bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3180-3180 Manama bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3532-3532 Sitrah bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3666-3666 Wattyan bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3996-3996 Bahrain has &ames$"name" "Bahrain"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9589-9589 Bahrain has &ames$"name" "Bahrain"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9588-9588 Bahrain has &ames$"name" "Bahrain"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9587-9587 Bahrain has &ames$"name" "Bahrain"

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2662-2662 "BH" in ISO_3166_1_alpha_2 denotes bahrain


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