Bupropion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3165-3165 | currencyType Greece and EuroDollar |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1246-1247 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 543-543 | economyType Greece and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 157-157 | economyType Greece and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 473-473 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 331-331 | geographicSubregion Greece and SouthernEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 332-332 | Greece est une instance de EuropeanNation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3170-3170 | Greece est un membre de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece est une partie de Europe |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2570-2570 | geographicSubregion AthensGreece and Greece |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3377-3377 | geographicSubregion PantrasGreece and Greece |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4044-4044 | Greece s'appele nom "Greece" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | Rhodes est une partie de Greece |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26556-26556 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26555-26555 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26554-26554 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2709-2709 | codeMapping ISO-3166-1-alpha-2, "GR" and Greece |