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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InflationIndex

 Sigma KEE - InflationIndex
InflationIndex(通脹指數)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1666-1666 子類 通脹指數 and 指數

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1682-1682 子類 消費者價格指數 and 通脹指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1688-1688 子類 生產者價格指數 and 通脹指數
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29995-29995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29994-29994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29993-29993

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1668-1673 例 性能指標 and 通脹指數 Abstract 例 Abstract and Inflation 性能指標 是 Abstract 的 benchmark


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