| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6301-6301 | 货币测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | 利益 是 货币测量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2107-2107 | ShareUnit 是 货币测量 的 subclass |
|
|