|
|
  Netherlands
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3117-3117 | currencyType Netherlands and DutchGuilder |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3101-3101 | currencyType Netherlands and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1307-1307 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 552-552 | economyType Netherlands and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 169-169 | economyType Netherlands and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 616-616 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4726-4726 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 361-361 | geographicSubregion Netherlands and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 362-362 | Netherlands est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2904-2904 | Netherlands est un membre de BeneluxEconomicUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3213-3213 | Netherlands est un membre de EuropeanMonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3730-3730 | dependentGeopoliticalArea Aruba and Netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3819-3819 | dependentGeopoliticalArea NetherlandsAntilles and Netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2925-2925 | geographicSubregion HilversumNetherlands and Netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3442-3442 | geographicSubregion RoermondNetherlands and Netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3592-3592 | geographicSubregion TheHagueNetherlands and Netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4058-4058 | Netherlands s'appele nom "Netherlands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40203-40203 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40202-40202 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40201-40201 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2764-2764 | codeMapping ISO-3166-1-alpha-2, "NL" and Netherlands |
|
|
|
