| UnitedNations(united nations)
| | UN, United_Nations |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3852-3852 | The day 26 is a date established of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3859-3864 | |
| 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 3849-3849 | United nations is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3857-3857 | Cultural cooperation is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3854-3854 | Economic development is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3856-3856 | Humanitarian aid is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3853-3853 | International peace and security is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3855-3855 | 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 3851-3851 | "UN" is an abbreviation of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3850-3850 | United nations is a conventional long name of "United Nations" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3056-3056 | 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 3396-3396 | 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 3410-3410 | 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 3437-3437 | 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 3470-3470 | International development association is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3495-3495 | International finance corporation is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3509-3509 | 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 3524-3524 | International labor organization is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3541-3541 | International maritime organization is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3548-3548 | International monetary fund is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3598-3598 | International telecommunication union is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3927-3927 | 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 4150-4150 | United nations secretariat 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 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 |
|
|
|