compoundInterest |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 555-558 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 552-552 | The number 1 argument of compound interest is an instance of financial account |
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 554-554 | The number 3 argument of compound interest is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 550-550 | compound interest is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 551-551 | compound interest is a subrelation of interest earned |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 512-512 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 510-510 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16230-16230 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16229-16229 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16228-16228 |