| Netherlands(荷兰)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3117-3117 | 荷兰盾 是 荷兰 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3101-3101 | 欧元 是 荷兰 的 currency 类别 |
| 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 | 发达经济 是 荷兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 169-169 | 发达国家 是 荷兰 的 economy 类别 |
| 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 | 荷兰 是 西欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 362-362 | 荷兰 是 欧洲国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2904-2904 | 荷兰 是 比荷卢经济联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3213-3213 | 荷兰 是 欧洲货币联盟 的 member |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3730-3730 | 阿鲁巴 是 荷兰 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3819-3819 | 荷属安的列斯 是 荷兰 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2925-2925 | 希尔弗瑟姆荷兰 是 荷兰 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3442-3442 | 鲁尔蒙德荷兰 是 荷兰 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3592-3592 | 海牙荷兰 是 荷兰 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4058-4058 | 荷兰 的名 是 "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 | "NL" 在 ISO-3166-1-alpha-2 denotes 荷兰 |
|
|
|