| Lesotho(lesotho)
| | Basutoland, Kingdom_of_Lesotho, Lesotho |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3277-3277 | Lesotho loti is a currency type of lesotho |
| 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 | Developing country is an economy type of lesotho |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 286-286 | Less developed country is an economy type of lesotho |
| 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 | Lesotho is a geographic subregion of southern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 165-165 | Lesotho is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3965-3965 | Lesotho has name "Basutoland" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3964-3964 | Lesotho has name "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 | "LS" in ISO-3166-1-alpha-2 denotes lesotho |
|
|
|