|
|
  OrganizationOfAfricanUnity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | dateEstablished OrganizationOfAfricanUnity and o dia 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3737-3739 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3731-3731 | OrganizationOfAfricanUnity e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3745-3745 | organizationalObjective OrganizationOfAfricanUnity and CulturalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3741-3741 | organizationalObjective OrganizationOfAfricanUnity and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3744-3744 | organizationalObjective OrganizationOfAfricanUnity and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3742-3742 | organizationalObjective OrganizationOfAfricanUnity and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3746-3746 | organizationalObjective OrganizationOfAfricanUnity and PublicHealthConcern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3743-3743 | organizationalObjective OrganizationOfAfricanUnity and SocialDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3734-3734 | abbreviation "OAU" and OrganizationOfAfricanUnity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3733-3733 | conventionalLongName "African Union" and OrganizationOfAfricanUnity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3732-3732 | conventionalLongName "Organization of African Unity" and OrganizationOfAfricanUnity |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42522-42522 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42521-42521 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42520-42520 |
|
|
|