| Rwanda(rwanda)
| | Ruanda, Rwanda, Rwandese_Republic |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3429-3429 | Rwanda franc is a currency type of rwanda |
| 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 | Developing country is an economy type of rwanda |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 316-316 | Less developed country is an economy type of rwanda |
| 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 | Rwanda is a geographic subregion of central africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 94-94 | Rwanda is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3073-3073 | Kigali rwanda is a geographic subregion of rwanda |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3450-3450 | Ruhengeri rwanda is a geographic subregion of rwanda |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3935-3935 | Rwanda has name "Rwanda" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50697-50697 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50696-50696 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50695-50695 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2798-2798 | "RW" in ISO-3166-1-alpha-2 denotes rwanda |
|
|
|