|
|
  EconomicIntegration
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2656-2656 | EconomicIntegration est un sous-attribut de EconomicCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | organizationalObjective AndeanCommunityOfNations and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | organizationalObjective ArabCooperationCouncil and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2843-2843 | organizationalObjective ArabMaghrebUnion and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2902-2902 | organizationalObjective BeneluxEconomicUnion and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2929-2929 | organizationalObjective CaribbeanCommunityAndCommonMarket and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2951-2951 | organizationalObjective CentralAmericanBankForEconomicIntegration and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2958-2958 | organizationalObjective CentralAmericanCommonMarket and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3020-3020 | organizationalObjective CouncilOfArabEconomicUnity and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3135-3135 | organizationalObjective EconomicCommunityOfTheGreatLakesCountries and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3177-3177 | organizationalObjective EuropeanCommunity and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3255-3255 | organizationalObjective EuropeanUnion and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3643-3643 | organizationalObjective LatinAmericanIntegrationAssociation and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3651-3651 | organizationalObjective MonetaryAndEconomicCommunityOfCentralAfrica and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3858-3858 | organizationalObjective SouthernAfricanDevelopmentCommunity and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4300-4300 | organizationalObjective WestAfricanDevelopmentBank and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4308-4308 | organizationalObjective WestAfricanEconomicAndMonetaryUnion and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21168-21168 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21167-21167 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21166-21166 |
|
|
|