|
|
  Lesotho
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3277-3277 | currencyType Lesotho and LesothoLoti |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1278-1278 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 670-670 | economyType Lesotho and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 286-286 | economyType Lesotho and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 554-554 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 164-164 | geographicSubregion Lesotho and SouthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 165-165 | Lesotho e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3965-3965 | Lesotho se chama nome "Basutoland" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3964-3964 | Lesotho se chama nome "Lesotho" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34085-34085 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34084-34084 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34083-34083 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2743-2743 | codeMapping ISO-3166-1-alpha-2, "LS" and Lesotho |
|
|
|
