|
|
  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 |
|
|
|