No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2302-2302 |
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 2296-2296 |
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 |