| 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 | 比利时 是 欧洲国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2903-2903 | 比利时 是 比荷卢经济联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | 比利时 是 欧洲货币联盟 的 member |
| 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" |
| 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 比利时 |
|
|
|