Malta
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3317-3317 | currencyType Malta and EuroDollar |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1290-1290 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 166-166 | economyType Malta and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 678-678 | economyType Malta and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 294-294 | economyType Malta and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 576-576 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 337-337 | geographicSubregion Malta and SouthernEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 338-338 | Malta est une instance de EuropeanNation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3212-3212 | Malta est un membre de EuropeanMonetaryUnion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4047-4047 | Malta s'appele nom "Malta" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35873-35873 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35872-35872 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35871-35871 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2757-2757 | codeMapping ISO-3166-1-alpha-2, "MT" and Malta |