No TPTP formula. May not be expressible in strict first order. | Merge.kif 6301-6301 | Currency measure is a subclass of constant quantity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | Interest is a subclass of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2107-2107 | Share unit is a subclass of currency measure |