|
|
  Belgium
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2997-2997 | currencyType Belgium and EuroDollar |
| 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 | economyType Belgium and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 149-149 | economyType Belgium and DevelopedCountry |
| 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 | geographicSubregion Belgium and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 349-349 | Belgium e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2903-2903 | Belgium e' membro de BeneluxEconomicUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | Belgium e' membro de EuropeanMonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2542-2542 | geographicSubregion AntwerpBelgium and Belgium |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2676-2676 | geographicSubregion BrusselsBelgium and Belgium |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4050-4050 | Belgium se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "BE" and Belgium |
|
|
|
