|
|
  SocialCooperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2717-2717 | SocialCooperation e' uma instancia de TransnationalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | organizationalObjective ArabLeague and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2871-2871 | organizationalObjective AssociationOfSoutheastAsianNations and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3048-3048 | organizationalObjective CouncilOfTheEntente and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3258-3258 | organizationalObjective EuropeanUnion and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | organizationalObjective GulfCooperationCouncil and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3395-3395 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3789-3789 | organizationalObjective OrganizationOfTheIslamicConference and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3797-3797 | organizationalObjective PacificCommunity and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3836-3836 | organizationalObjective SouthAsianAssociationForRegionalCooperation and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2718-2718 | CulturalCooperation e' um sub-atributo de SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2720-2720 | EducationalCooperation e' um sub-atributo de SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2721-2721 | HumanitarianAssistance e' um sub-atributo de SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53618-53618 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53617-53617 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53616-53616 |
|
|
|