|
|
  UnitedNationsOfficeOfProjectServices
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3970-3970 | UnitedNationsOfficeOfProjectServices est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3973-3973 | organizationalObjective UnitedNationsOfficeOfProjectServices and AdministrationAndManagement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3969-3969 | UnitedNationsOfficeOfProjectServices 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 3972-3972 | abbreviation "UNOPS" and UnitedNationsOfficeOfProjectServices |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | conventionalLongName "United Nations Office of Project Services" and UnitedNationsOfficeOfProjectServices |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60250-60250 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60249-60249 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60248-60248 |
|
|
|