Mucus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3824-3824 | dateEstablished RioGroup and o ano 1986 |
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 | RioGroup e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3829-3829 | organizationalObjective RioGroup and PoliticalCooperation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3822-3822 | abbreviation "RG" and RioGroup |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3821-3821 | conventionalLongName "Rio Group" and RioGroup |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3823-3823 | formerName "Grupo de los Ocho" and RioGroup |
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 |