| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 350-350 |
发达的先进国家 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 371-371 |
四龙经济 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 755-755 |
高科技工业经济 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 399-399 |
最不发达国家 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 737-737 |
主要工业经济 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 359-359 |
新兴工业化经济 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 392-392 |
未发达国家 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 515-515 |
IMF发展水平 是 经济发展水平 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 117-117 |
联合国经济发展水平 是 经济发展水平 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 415-415 |
世界银行人均GNI水平 是 经济发展水平 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21156-21156 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21155-21155 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21154-21154 |
|
