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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PPPBasedEconomicValuation

 Sigma KEE - PPPBasedEconomicValuation
PPPBasedEconomicValuation(基于PPP的经济估值)

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的经济估值 是 关系 的 subclass

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


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


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