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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bermuda

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 3009-3009 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 10817-10817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10816-10816
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10815-10815

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


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


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