![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3369-3369 | 尼日利亞奈拉 是 尼日利亞 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1311-1311 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 691-691 | 發展中國家 是 尼日利亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 307-307 | 較未發達國家 是 尼日利亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 627-627 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 219-219 | 尼日利亞 是 西非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 220-220 | 例 尼日利亞 and Nation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3179-3179 | 馬那瓜尼日利亞 是 尼日利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3993-3993 | 名 "Nigeria" and 尼日利亞 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40527-40527 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40526-40526 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40525-40525 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2784-2784 | "NG" 在 ISO-3166-1-alpha-2 denotes 尼日利亞 |
![]() |
![]() |