Lebanon |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3273-3273 | currencyType Lebanon and LebanesePound |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1277-1277 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 669-669 | economyType Lebanon and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 285-285 | economyType Lebanon and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 552-552 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 256-256 | geographicSubregion Lebanon and MiddleEastRegion |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 257-257 | Lebanon e' uma instancia de Nacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2512-2512 | geographicSubregion AlBalamandLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2518-2518 | geographicSubregion AleyLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2622-2622 | geographicSubregion BeirutLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3087-3087 | geographicSubregion KlaiyatLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3291-3291 | geographicSubregion NaquraLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3527-3527 | geographicSubregion SidonLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3673-3673 | geographicSubregion WestBeirutLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4009-4009 | Lebanon se chama nome "Lebanon" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33725-33725 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33724-33724 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33723-33723 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2740-2740 | codeMapping ISO-3166-1-alpha-2, "LB" and Lebanon |