No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2294-2294 |
The number 2 argument of accrued interest is an instance of interest |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 553-553 |
The number 2 argument of compound interest is an instance of interest |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2288-2288 |
The number 2 argument of coupon interest is an instance of interest |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 523-523 |
The number 2 argument of interest earned is an instance of interest |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 532-532 |
The number 2 argument of simple interest is an instance of interest |