|
|
  Brazil
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3025-3025 | 巴西真實 是 巴西 的 currency 類別 |
| 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 | 巴西 是 東南美洲 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 501-501 | 例 巴西 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4125-4125 | 名 "Brazil" and 巴西 |
| 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" 在 ISO-3166-1-alpha-2 denotes 巴西 |
|
|
|
