| Belgium(比利時)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2997-2997 | 歐元 是 比利時 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1192-1192 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 537-537 | 發達經濟 是 比利時 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 149-149 | 發達國家 是 比利時 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 348-348 | 比利時 是 西歐 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 349-349 | 例 比利時 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2903-2903 | 會員 比利時 and 比荷盧經濟聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | 會員 比利時 and 歐洲貨幣聯盟 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2542-2542 | 安特衛普比利時 是 比利時 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2676-2676 | 布魯塞爾，比利時 是 比利時 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4050-4050 | 名 "Belgium" and 比利時 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10661-10661 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10660-10660 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10659-10659 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2657-2657 | "BE" 在 ISO-3166-1-alpha-2 denotes 比利時 |
|
|
|