No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2945-2945 |
Albanian lek is a currency type of albania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1176-1176 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 574-574 |
Country in transition is an economy type of albania |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 216-216 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 370-370 |
Albania is a geographic subregion of southeastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 371-371 |
Albania is an instance of nation |