![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1652-1654 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1651-1651 | Inflation is a subclass of economic indicator |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1656-1664 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1668-1673 | A performance measure is an instance of inflation index if and only if there exists an abstract such that the abstract is an instance of Inflation and the performance measure is a benchmark of the abstract |
![]() |
![]() |