|
|
  UnitedNationsInstituteForTrainingAndResearch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3998-3998 | dateEstablished UnitedNationsInstituteForTrainingAndResearch and o dia 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3995-3995 | UnitedNationsInstituteForTrainingAndResearch e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3999-3999 | organizationalObjective UnitedNationsInstituteForTrainingAndResearch and EducationalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3917-3917 | UnitedNationsInstituteForTrainingAndResearch e' uma parte da organizacao UnitedNationsGeneralAssembly |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3997-3997 | abbreviation "UNITAR" and UnitedNationsInstituteForTrainingAndResearch |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3996-3996 | conventionalLongName "United Nations Institute for Training and Research" and UnitedNationsInstituteForTrainingAndResearch |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60154-60154 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60153-60153 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60152-60152 |
|
|
|