Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  realGrowthRateOfGDP

Sigma KEE - realGrowthRateOfGDP
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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 999-999 GDP的實際增長率, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order. Economy.kif 997-997 GDP的實際增長率 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 996-996 GDP的實際增長率 and 基於PPP的經濟估值

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 48904-48904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48903-48903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48902-48902

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1007-1012 GeopoliticalArea 是 對於 %3 在週期 %2 的 real GDP 的成長速率 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and RealNumber GeopoliticalAreareal GDP 成長速率


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners