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 e' uma instancia de Nacao |
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 se chama nome "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 |