No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2945-2945 |
currencyType Albania and AlbanianLek |
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 |
economyType Albania and CountryInTransition |
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 |
geographicSubregion Albania and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 371-371 |
Albania est une instance de nation |