No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1032-1032 |
人均GDp 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1019-1019 |
人均国内生产总值 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 996-996 |
GDP的实际增长率 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 983-983 |
期间实际GDP增长率 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1071-1071 |
行业组成的GDP 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1054-1054 |
期间GDP的部门构成 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1117-1117 |
GDP的行业价值 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1093-1093 |
期间GDP的部门价值 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 947-947 |
总GDP 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 934-934 |
期间的国内生产GDP总值 是 基于PPP的经济估值 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47072-47072 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47071-47071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47070-47070 |
|