|
|
  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 | 巴西 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4125-4125 | 巴西 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 巴西 |
|
|
|
