|
|
  Bhutan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3013-3013 | 不丹ngultrum 是 不丹 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1195-1195 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 571-571 | 不丹 是 南亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 572-572 | 例 不丹 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4162-4162 | 名 "Bhutan" and 不丹 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10949-10949 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10948-10948 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10947-10947 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2667-2667 | "BT" 在 ISO-3166-1-alpha-2 denotes 不丹 |
|
|
|
