![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3864-3864 | The day 26 is a date established of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3871-3876 | |
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 3861-3861 | United nations is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3869-3869 | Cultural cooperation is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3866-3866 | Economic development is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3868-3868 | Humanitarian aid is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3865-3865 | International peace and security is an organizational objective of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3867-3867 | 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 3863-3863 | "UN" is an abbreviation of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3862-3862 | United nations is a conventional long name of "United Nations" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3068-3068 | 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 3408-3408 | 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 3422-3422 | 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 3449-3449 | 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 3482-3482 | International development association is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3507-3507 | International finance corporation is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3521-3521 | 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 3536-3536 | International labor organization is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3553-3553 | International maritime organization is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3560-3560 | International monetary fund is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | International telecommunication union is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3939-3939 | 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 4162-4162 | United nations secretariat is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4174-4174 | 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 60029-60029 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60028-60028 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60027-60027 |
![]() |
![]() |