| Netherlands(netherlands)
| | Holland, Kingdom_of_The_Netherlands, Nederland, Netherlands, The_Netherlands |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3454-3454 | Dutch guilder is a currency type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3438-3438 | Euro dollar is a currency type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1307-1307 | Euro dollar is a currency type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 552-552 | Advanced economy is an economy type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 169-169 | Developed country is an economy type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 616-616 | Developed country is an economy type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4725-4725 | Developed country is an economy type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 361-361 | Netherlands is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 362-362 | Netherlands is an instance of european nation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2865-2865 | Netherlands is a member of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3174-3174 | Netherlands is a member of european monetary union |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3730-3730 | Aruba is a dependent of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3819-3819 | Netherlands antilles is a dependent of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2925-2925 | Hilversum netherlands is a geographic subregion of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3442-3442 | Roermond netherlands is a geographic subregion of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3592-3592 | The hague netherlands is a geographic subregion of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4058-4058 | Netherlands has name "Netherlands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40233-40233 | Netherlands has name "Netherlands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40232-40232 | Netherlands has name "Netherlands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40231-40231 | Netherlands has name "Netherlands" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2766-2766 | "NL" in ISO_3166_1_alpha_2 denotes netherlands |
|
|
|