UnitedNations
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | The day 26 is a date established of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3879-3884 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 813-813 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3869-3869 | United nations is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3877-3877 | Cultural cooperation is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | Economic development is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3876-3876 | Humanitarian aid is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3873-3873 | International peace and security is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3875-3875 | Social development is an organizational objective of united nations |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3871-3871 | "UN" is an abbreviation of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3870-3870 | United nations is a conventional long name of "United Nations" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3076-3076 | Economic and social council is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3416-3416 | International bank for reconstruction and development is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3430 | International civil aviation organization is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | International court of justice is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3490-3490 | International development association is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | International finance corporation is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3529-3529 | International fund for agricultural development is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3544-3544 | International labor organization is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | International maritime organization is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | International monetary fund is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | International telecommunication union is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3947-3947 | United nations general assembly is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4170-4170 | United nations secretariat is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4182-4182 | United nations security council is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60062-60062 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60061-60061 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60060-60060 |