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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bermuda
Bermuda(bermuda)
Bermuda, Bermudas

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3019-3019 Bermuda dollar is a currency type of bermuda
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3738-3738 Bermuda is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3739-3739
No TPTP formula. May not be expressible in strict first order. Economy.kif 150-150 Developed country is an economy type of bermuda
No TPTP formula. May not be expressible in strict first order. pictureList.kif 275-275
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 404-404 Bermuda is a geographic subregion of north america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3864-3864 Bermuda is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 400-400 Bermuda is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4078-4078 Bermuda has name "Bermuda"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10826-10826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10825-10825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10824-10824

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2833-2833 "BM" in ISO-3166-1-alpha-2 denotes bermuda


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