|
|
  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 e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3212-3212 | Malta e' membro de EuropeanMonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4047-4047 | Malta se chama nome "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 |
|
|
|
