|
|
  Romania
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3421-3421 | 罗马尼亚列伊 是 罗马尼亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1330-1330 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 593-593 | 转型国家 是 罗马尼亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 697-697 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 380-380 | 罗马尼亚 是 东南欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 381-381 | 罗马尼亚 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2680-2680 | BucharestRomania 是 罗马尼亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4069-4069 | 罗马尼亚 的名 是 "Romania" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50354-50354 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50353-50353 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50352-50352 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2796-2796 | "RO" 在 ISO-3166-1-alpha-2 denotes 罗马尼亚 |
|
|
|
