|
|
  EconomicDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5978-5978 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2678-2678 | 经济发展 是 关注的区域 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | 经济发展 是 非洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | 经济发展 是 阿拉伯非洲经济发展银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | 经济发展 是 阿拉伯经济和社会发展基金 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2930-2930 | 经济发展 是 加勒比共同体和共同市场 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2936-2936 | 经济发展 是 加勒比开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | 经济发展 是 中非国家开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2952-2952 | 经济发展 是 中美洲经济一体化银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | 经济发展 是 科伦坡计划 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3036-3036 | 经济发展 是 波罗的海国家理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3061-3061 | 经济发展 是 东非开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3073-3073 | 经济发展 是 经济和社会理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3148-3148 | 经济发展 是 经济合作组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3166-3166 | 经济发展 是 欧洲重建和发展银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3190-3190 | 经济发展 是 欧洲投资银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3386-3386 | 经济发展 是 美洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3415-3415 | 经济发展 是 国际重建和发展银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3491-3491 | 经济发展 是 国际发展协会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3569-3569 | 经济发展 是 国际货币基金组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3624-3624 | 经济发展 是 伊斯兰开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3633-3633 | 经济发展 是 拉丁美洲经济体系 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3677-3677 | 经济发展 是 北欧投资银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3706-3706 | 经济发展 是 经济合作与发展组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3744-3744 | 经济发展 是 非洲统一组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3758-3758 | 经济发展 是 美国各州的组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3859-3859 | 经济发展 是 南部非洲发展社区 的 organizational 目标 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
