![]() |
![]() ![]()
|
![]() |
|
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 | 例 盧旺達 and Nation |
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" and 盧旺達 |
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 盧旺達 |
![]() |
![]() |