|
|
  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 e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4125-4125 | Brazil se chama nome "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 |
|
|
|
