Inflation
|
|
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 是 经济指标 的 subclass |
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 | 性能指标 是 通胀指数 的 instance 若且唯若 有存在 抽象体 这样 那个 抽象体 是 Inflation 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |