|
|
  Rwanda
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3429-3429 | 卢旺达法郎 是 卢旺达 的 currency 类别 |
| 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 | 发展中国家 是 卢旺达 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 316-316 | 较未发达国家 是 卢旺达 的 economy 类别 |
| 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 | 卢旺达 是 中非 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 94-94 | 卢旺达 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3073-3073 | 基加利卢旺达 是 卢旺达 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3450-3450 | 鲁亨盖里卢旺达 是 卢旺达 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3935-3935 | 卢旺达 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 卢旺达 |
|
|
|
