Brazil
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3025-3025 | Brazilian real is a currency type of brazil |
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 | Brazil is a geographic subregion of eastern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 501-501 | Brazil is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4125-4125 | Brazil has name "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 | "BR" in ISO-3166-1-alpha-2 denotes brazil |