No TPTP formula. May not be expressible in strict first order. |
Government.kif 3078-3078 |
社会发展委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3080-3080 |
预防犯罪和刑事司法委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3082-3082 |
人权委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3084-3084 |
麻醉药品委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3086-3086 |
人口与发展委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3088-3088 |
科学和技术促进发展委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3090-3090 |
可持续发展委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3092-3092 |
妇女地位委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3094-3094 |
亚洲及太平洋经济社会委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3096-3096 |
西亚经济社会委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3098-3098 |
非洲经济委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3100-3100 |
欧洲经济委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3102-3102 |
拉丁美洲和加勒比经济委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3112-3112 |
InternationalAirTransportAssociation 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3107-3107 |
国际投资争端秘书处 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3433-3433 |
红十字国际委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3446-3446 |
国际法院 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4210-4210 |
卢旺达国际刑事法庭 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4204-4204 |
前南斯拉夫问题国际刑事法庭 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3597-3597 |
国际红十字和红新月运动 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3117-3117 |
多边投资地理机构 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3119-3119 |
统计委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4216-4216 |
联合国赔偿委员会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3977-3977 |
联合国人权事务高级专员 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3983-3983 |
联合国裁军研究所 是 国际组织 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |