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 2984-2984 Bahrainian dinar is a currency type of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1188-1188
No TPTP formula. May not be expressible in strict first order. Economy.kif 617-617 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
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 2531-2531 An nuwaydirat bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3182-3182 Manama bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3537-3537 Sitrah bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3672-3672 Wattyan bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4003-4003 Bahrain has name "Bahrain"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9601-9601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9600-9600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9599-9599

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


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