ApproximateDiameter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | The day 22 is a date established of united nations development program |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3905-3905 | United nations development program is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3909-3909 | Economic development is an organizational objective of united nations development program |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3910-3910 | Social development is an organizational objective of united nations development program |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3911-3911 | Technology cooperation is an organizational objective of united nations development program |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3950-3950 | United nations development program 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 3907-3907 | "UNDP" is an abbreviation of united nations development program |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3906-3906 | United nations development program is a conventional long name of "United Nations Development Program" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60098-60098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60097-60097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60096-60096 |