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 |