No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1666-1666 |
InflationIndex e' uma sub-classe de Index |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1744-1744 |
MarketShareWeightedIndex e' uma sub-classe de Index |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1748-1748 |
MarketValueWeightedIndex e' uma sub-classe de Index |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1730-1730 |
NASDAQCompositeIndex e' uma sub-classe de Index |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1762-1762 |
NikkeiIndex e' uma sub-classe de Index |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1758-1758 |
PriceWeightedIndex e' uma sub-classe de Index |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1692-1692 |
StockIndex e' uma sub-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 |
|