|
|
  Libya
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3285-3285 | 利比亞第納爾 是 利比亞 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1280-1280 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 672-672 | 發展中國家 是 利比亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 288-288 | 較未發達國家 是 利比亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 558-558 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 120-120 | 利比亞 是 北非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 121-121 | 例 利比亞 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3525-3525 | 西迪·哈利法·利比亞 是 利比亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3614-3614 | 的黎波里利比亞 是 利比亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3948-3948 | 名 "Libya" and 利比亞 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34277-34277 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34276-34276 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34275-34275 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2747-2747 | "LY" 在 ISO-3166-1-alpha-2 denotes 利比亞 |
|
|
|
