No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1032-1032 |
例 人均GDP and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1019-1019 |
例 人均國內生產總值 and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 996-996 |
例 GDP的實際增長率 and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 983-983 |
例 期間實際GDP增長率 and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1071-1071 |
例 行業組成的GDP and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1054-1054 |
例 期間GDP的部門構成 and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1117-1117 |
例 GDP的行業價值 and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1093-1093 |
例 期間GDP的部門價值 and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 947-947 |
例 總GDP and 基於PPP的經濟估值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 934-934 |
例 期間的國內生產GDP總值 and 基於PPP的經濟估值 |
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 |
|