| Romania(romania)
| | Romania, Roumania, Rumania |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3421-3421 | Romanian leu is a currency type of romania |
| 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 | Country in transition is an economy type of romania |
| 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 | Romania is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 381-381 | Romania is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2680-2680 | Bucharest romania is a geographic subregion of romania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4069-4069 | Romania has name "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" in ISO-3166-1-alpha-2 denotes romania |
|
|
|