InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4227-4227 | UnitedNationsInterimAdministrationMissionInKosovo e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3989-3989 | UnitedNationsInterregionalCrimeAndJusticeResearchInstitute e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4229-4229 | UnitedNationsIraqKuwaitBoundaryDemarcationCommission e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4006-4006 | UnitedNationsOfficeOfProjectServices e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4153-4153 | UnitedNationsResearchInstituteForSocialDevelopment e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4166-4166 | UnitedNationsSecretariat e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4260-4260 | UnitedNationsUniversity e' uma instancia de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2526-2526 | OrganizationOfNations e' uma sub-classe de InternationalOrganization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30655-30655 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30654-30654 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30653-30653 |