Brazil
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3025-3025 | currencyType Brazil and BrazilianReal |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1199-1199 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 289-289 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 500-500 | geographicSubregion Brazil and EasternSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 501-501 | Brazil est une instance de nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4125-4125 | Brazil s'appele nom "Brazil" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11843-11843 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11842-11842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11841-11841 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2665-2665 | codeMapping ISO-3166-1-alpha-2, "BR" and Brazil |