|
|
  Liberia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3281-3281 | 利比里亞元 是 利比里亞 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1279-1279 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 671-671 | 發展中國家 是 利比里亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 287-287 | 較未發達國家 是 利比里亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 556-556 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 213-213 | 利比里亞 是 西非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 214-214 | 例 利比里亞 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3990-3990 | 名 "Liberia" and 利比里亞 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34235-34235 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34234-34234 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34233-34233 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2742-2742 | "LR" 在 ISO-3166-1-alpha-2 denotes 利比里亞 |
|
|
|
