RioGroup(rio group) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3824-3824 | The year 1986 is a date established of rio group |
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 | Rio group is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3829-3829 | Political cooperation is an organizational objective of rio group |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3822-3822 | "RG" is an abbreviation of rio group |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3821-3821 | Rio group is a conventional long name of "Rio Group" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3823-3823 | "Grupo de los Ocho" is a former name for rio group |
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 |