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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Index

 Sigma KEE - Index
Index

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1629-1630
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1628-1628 Index est une sous-classe de PerformanceMeasure

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1666-1666 InflationIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1744-1744 MarketShareWeightedIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1748-1748 MarketValueWeightedIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1730-1730 NASDAQCompositeIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1762-1762 NikkeiIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1758-1758 PriceWeightedIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1692-1692 StockIndex est une sous-classe de Index
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29587-29587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29586-29586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29585-29585

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1632-1637


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