No TPTP formula. May not be expressible in strict first order. |
Government.kif 3871-3871 |
聯合國 是 "UN" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3870-3870 |
聯合國 是 "United Nations" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3076-3076 |
子組織 經濟和社會理事會 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3416-3416 |
子組織 國際重建和發展銀行 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3430-3430 |
子組織 國際民航組織 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3457-3457 |
子組織 國際法院 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3490-3490 |
子組織 國際發展協會 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3515-3515 |
子組織 國際金融公司 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3529-3529 |
子組織 國際農業發展基金 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3544-3544 |
子組織 國際勞工組織 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3561-3561 |
子組織 國際海事組織 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3568-3568 |
子組織 國際貨幣基金組織 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3618-3618 |
子組織 國際電信聯盟 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3947-3947 |
子組織 聯合國大會 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4170-4170 |
子組織 聯合國秘書處 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4182-4182 |
子組織 聯合國安理會 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60062-60062 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60061-60061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60060-60060 |
|