| RioGroup(里約集團)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3788-3788 | 年 1986 是 里約集團 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3790-3791 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6825-6825 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7738-7738 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3784-3784 | 例 里約集團 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3793-3793 | 政治合作 是 里約集團 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3786-3786 | 里約集團 是 "RG" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3785-3785 | 里約集團 是 "Rio Group" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3787-3787 | "Grupo de los Ocho" 是對於 里約集團 的 former name |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50056-50056 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50055-50055 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50054-50054 |
|
|
|