|
|
  UnitedNations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNations and le jour 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 est une instance 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 est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3416-3416 | InternationalBankForReconstructionAndDevelopment est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3430 | InternationalCivilAviationOrganization est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | InternationalCourtOfJustice est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3490-3490 | InternationalDevelopmentAssociation est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | InternationalFinanceCorporation est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3529-3529 | InternationalFundForAgriculturalDevelopment est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3544-3544 | InternationalLaborOrganization est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | InternationalMaritimeOrganization est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | InternationalMonetaryFund est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | InternationalTelecommunicationUnion est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3947-3947 | UnitedNationsGeneralAssembly est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4170-4170 | UnitedNationsSecretariat est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4182-4182 | UnitedNationsSecurityCouncil est une partie de l'organization 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 |
|
|
|
