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 |
|