No TPTP formula. May not be expressible in strict first order. |
Government.kif 3852-3852 |
聯合國兒童基金會 是 "UNICEF" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3851-3851 |
聯合國兒童基金會 是 "United Nations Childrens Fund" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3853-3853 |
"UN International Childrens Emergency Fund" 是對於 聯合國兒童基金會 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60076-60076 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60075-60075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60074-60074 |
|