| UnitedNationsChildrensFund(united nations childrens fund) | | UNICEF, United_Nations_Children's_Fund, United_Nations_International_Children's_Emergency_Fund |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | The day 11 is a date established of united nations childrens fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3886-3886 | United nations childrens fund is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3891-3891 | Child health services is an organizational objective of united nations childrens fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3948-3948 | United nations childrens fund 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 3888-3888 | "UNICEF" is an abbreviation of united nations childrens fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3887-3887 | United nations childrens fund is a conventional long name of "United Nations Childrens Fund" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3889-3889 | "UN International Childrens Emergency Fund" is a former name for united nations childrens fund |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60074-60074 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60073-60073 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60072-60072 |
|
|
|