|
|
  Libya
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3285-3285 | currencyType Libya and LibyanDinar |
| 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 | economyType Libya and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 288-288 | economyType Libya and LessDevelopedCountry |
| 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 | geographicSubregion Libya and NorthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 121-121 | Libya est une instance de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3525-3525 | geographicSubregion SidiHalifahLibya and Libya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3614-3614 | geographicSubregion TripoliLibya and Libya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3948-3948 | Libya s'appele nom "Libya" |
| 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 | codeMapping ISO-3166-1-alpha-2, "LY" and Libya |
|
|
|
