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 |
经济和社会理事会 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3416-3416 |
国际重建和发展银行 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3430-3430 |
国际民航组织 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3457-3457 |
国际法院 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3490-3490 |
国际发展协会 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3515-3515 |
国际金融公司 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3529-3529 |
国际农业发展基金 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3544-3544 |
国际劳工组织 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3561-3561 |
国际海事组织 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3568-3568 |
国际货币基金组织 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3618-3618 |
国际电信联盟 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3947-3947 |
联合国大会 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4170-4170 |
联合国秘书处 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4182-4182 |
联合国安理会 是 联合国 Organization 的一部分 |
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 |
|