| Libya(libya)
| | Libya, Socialist_People's_Libyan_Arab_Jamahiriya |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3285-3285 | Libyan dinar is a currency type of libya |
| 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 | Developing country is an economy type of libya |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 288-288 | Less developed country is an economy type of libya |
| 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 | Libya is a geographic subregion of northern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 121-121 | Libya is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3525-3525 | Sidi halifah libya is a geographic subregion of libya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3614-3614 | Tripoli libya is a geographic subregion of libya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3948-3948 | Libya has name "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 | "LY" in ISO-3166-1-alpha-2 denotes libya |
|
|
|