| 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 |
|
|
|