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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PPPBasedEconomicValuation

Sigma KEE - PPPBasedEconomicValuation
PPPBasedEconomicValuation(PPP based economic valuation)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 967-976
No TPTP formula. May not be expressible in strict first order. Economy.kif 965-965 PPP based economic valuation is a subclass of relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1032-1032 per capita GDP is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1019-1019 per capitaGDP in period is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 996-996 real growth rate of GDP is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 983-983 real growth rate of GDP in period is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1071-1071 sector composition ofGDP is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1054-1054 sector composition of GDP in period is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1117-1117 sector value of GDP is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1093-1093 sector value of GDP in period is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 947-947 totalGDP is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 934-934 totalGDP in period is an instance of PPP based economic valuation
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


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