|
|
  RioGroup
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3788-3788 | dateEstablished RioGroup and l' ann�e 1986 |
| 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 | RioGroup est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3793-3793 | organizationalObjective RioGroup and PoliticalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3786-3786 | abbreviation "RG" and RioGroup |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3785-3785 | conventionalLongName "Rio Group" and RioGroup |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3787-3787 | formerName "Grupo de los Ocho" and RioGroup |
| 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 |
|
|
|
