|
|
  UnitedNationsInstituteForDisarmamentResearch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5670-5670 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3983-3983 | UnitedNationsInstituteForDisarmamentResearch est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3986-3986 | organizationalObjective UnitedNationsInstituteForDisarmamentResearch and ArmsControl |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3982-3982 | UnitedNationsInstituteForDisarmamentResearch est une partie de l'organization UnitedNationsGeneralAssembly |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3985-3985 | abbreviation "UNIDIR" and UnitedNationsInstituteForDisarmamentResearch |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3984-3984 | conventionalLongName "United Nations Institute for Disarmament Research" and UnitedNationsInstituteForDisarmamentResearch |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60146-60146 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60145-60145 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60144-60144 |
|
|
|
