| Interest(interest)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 516-516 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11226-11226 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11225-11225 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10065-10065 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 515-515 | Interest is a subclass of currency measure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30408-30408 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30407-30407 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30406-30406 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2311-2311 | 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 555-555 | 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 2305-2305 | 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 525-525 | 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 534-534 | The number 2 argument of simple interest is an instance of interest |
|
|
|