Bermuda(bermuda)
| Bermuda, Bermudas |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Bermuda" Bermuda) | CountriesAndRegions.kif 4078-4078 | Bermuda has &ames$"name" "Bermuda" |
| (termFormat ChineseLanguage Bermuda "百慕大") | domainEnglishFormat.kif 10823-10823 | Bermuda has &ames$"name" "Bermuda" |
| (termFormat ChineseTraditionalLanguage Bermuda "百慕大") | domainEnglishFormat.kif 10822-10822 | Bermuda has &ames$"name" "Bermuda" |
| (termFormat EnglishLanguage Bermuda "bermuda") | domainEnglishFormat.kif 10821-10821 | Bermuda has &ames$"name" "Bermuda" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "BM" Bermuda) | Media.kif 2847-2847 | "BM" in ISO_3166_1_alpha_2 denotes bermuda |
|
|