TreeView Knowledge Base Browser - realGrowthRateOfGDP

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1001-1005
No TPTP formula. May not be expressible in strict first order.	Economy.kif 998-998	GDP的实际增长率的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 999-999	GDP的实际增长率的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 997-997	GDP的实际增长率是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 996-996	GDP的实际增长率是基于PPP的经济估值的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2107-2107
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2106-2106
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2105-2105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48902-48902
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48901-48901
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48900-48900

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1007-1012

地缘政治区域是对于％３在周期％２的 real ＧＤＰ的成长速率若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和实数是那个地缘政治区域的 real GDP 成长速率在那个时间位置 holdsDuring