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 e' uma sub-classe de Index

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1682-1682 ConsumerPriceIndex e' uma sub-classe de InflationIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1688-1688 ProducerPriceIndex e' uma sub-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 e' uma instancia de InflationIndex Abstrato Abstrato e' uma instancia de Inflation benchmark Abstrato 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