![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3824-3824 | 年 1986 是 里約集團 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3826-3827 | |
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 3820-3820 | 例 里約集團 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3829-3829 | 政治合作 是 里約集團 的 organizational 目標 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3822-3822 | 里約集團 是 "RG" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3821-3821 | 里約集團 是 "Rio Group" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3823-3823 | "Grupo de los Ocho" 是對於 里約集團 的 former name |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50054-50054 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50053-50053 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50052-50052 |
![]() |
![]() |