Rwanda
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3429-3429 | currencyType Rwanda and RwandaFranc |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1333-1333 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 700-700 | economyType Rwanda and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 316-316 | economyType Rwanda and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 701-701 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 93-93 | geographicSubregion Rwanda and CentralAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 94-94 | Rwanda est une instance de nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3073-3073 | geographicSubregion KigaliRwanda and Rwanda |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3450-3450 | geographicSubregion RuhengeriRwanda and Rwanda |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3935-3935 | Rwanda s'appele nom "Rwanda" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50699-50699 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50698-50698 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50697-50697 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2798-2798 | codeMapping ISO-3166-1-alpha-2, "RW" and Rwanda |