OrganizationOfAfricanUnity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3699-3699 | dateEstablished OrganizationOfAfricanUnity and le jour 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3701-3703 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3695-3695 | OrganizationOfAfricanUnity est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3709-3709 | organizationalObjective OrganizationOfAfricanUnity and CulturalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | organizationalObjective OrganizationOfAfricanUnity and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3708-3708 | organizationalObjective OrganizationOfAfricanUnity and EconomicDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3706-3706 | organizationalObjective OrganizationOfAfricanUnity and MilitaryCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3710-3710 | organizationalObjective OrganizationOfAfricanUnity and PublicHealthConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3707-3707 | organizationalObjective OrganizationOfAfricanUnity and SocialDevelopment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3698-3698 | abbreviation "OAU" and OrganizationOfAfricanUnity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3697-3697 | conventionalLongName "African Union" and OrganizationOfAfricanUnity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3696-3696 | conventionalLongName "Organization of African Unity" and OrganizationOfAfricanUnity |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42524-42524 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42523-42523 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42522-42522 |