|
|
  UnitedNationsCenterForHumanSettlements
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3967-3967 | UnitedNationsCenterForHumanSettlements e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3972-3972 | organizationalObjective UnitedNationsCenterForHumanSettlements and ImproveHumanSettlementConditions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3974-3974 | organizationalObjective UnitedNationsCenterForHumanSettlements and PromoteSustainableDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3973-3973 | organizationalObjective UnitedNationsCenterForHumanSettlements and ReducePoverty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3966-3966 | UnitedNationsCenterForHumanSettlements e' uma parte da organizacao UnitedNationsGeneralAssembly |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3969-3969 | abbreviation "UN-HABITAT" and UnitedNationsCenterForHumanSettlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3968-3968 | conventionalLongName "United Nations Center for Human Settlements" and UnitedNationsCenterForHumanSettlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | formerName "Habitat" and UnitedNationsCenterForHumanSettlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3970-3970 | formerName "UNCHS" and UnitedNationsCenterForHumanSettlements |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60068-60068 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60067-60067 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60066-60066 |
|
|
|