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 InflationIndex est une sous-classe de Index

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1682-1682 ConsumerPriceIndex est une sous-classe de InflationIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1688-1688 ProducerPriceIndex est une sous-classe de InflationIndex
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 PerformanceMeasure est une instance de InflationIndex abstrait abstrait est une instance de Inflation benchmark abstrait and PerformanceMeasure


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