|
|
  UnitedNations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNations and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3879-3884 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 813-813 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3869-3869 | UnitedNations e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3877-3877 | organizationalObjective UnitedNations and CulturalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | organizationalObjective UnitedNations and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3876-3876 | organizationalObjective UnitedNations and HumanitarianAid |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3873-3873 | organizationalObjective UnitedNations and InternationalPeaceAndSecurity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3875-3875 | organizationalObjective UnitedNations and SocialDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3871-3871 | abbreviation "UN" and UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3870-3870 | conventionalLongName "United Nations" and UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3076-3076 | EconomicAndSocialCouncil e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3416-3416 | InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3430 | InternationalCivilAviationOrganization e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | InternationalCourtOfJustice e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3490-3490 | InternationalDevelopmentAssociation e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | InternationalFinanceCorporation e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3529-3529 | InternationalFundForAgriculturalDevelopment e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3544-3544 | InternationalLaborOrganization e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | InternationalMaritimeOrganization e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | InternationalMonetaryFund e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | InternationalTelecommunicationUnion e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3947-3947 | UnitedNationsGeneralAssembly e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4170-4170 | UnitedNationsSecretariat e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4182-4182 | UnitedNationsSecurityCouncil e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60062-60062 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60061-60061 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60060-60060 |
|
|
|
