No TPTP formula. May not be expressible in strict first order. |
Government.kif 3927-3927 |
提高妇女地位国际研究和培训机构 是 "INSTRAW" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3926-3926 |
提高妇女地位国际研究和培训机构 是 "International Research and Training Institute for the Advancement of Women" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30691-30691 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30690-30690 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30689-30689 |
|