UnitedNationsCenterForHumanSettlements
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3967-3967 | United nations center for human settlements is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3972-3972 | Improve human settlement conditions is an organizational objective of united nations center for human settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3974-3974 | Promote sustainable development is an organizational objective of united nations center for human settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3973-3973 | Reduce poverty is an organizational objective of united nations center for human settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3966-3966 | United nations center for human settlements is a part of the organization united nations general assembly |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3969-3969 | "UN-HABITAT" is an abbreviation of united nations center for human settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3968-3968 | United nations center for human settlements is a conventional long name of "United Nations Center for Human Settlements" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | "Habitat" is a former name for united nations center for human settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3970-3970 | "UNCHS" is a former name for united nations center for human settlements |
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 |