| appearance as argument number 1 |
|
| (documentation compoundInterest EnglishLanguage "(compoundInterest ?Account ?Amount ?Time) means that ?Amount is the interest which is calculated not only on the initial principal but also the accumulated interest of prior periods. Compound interest can be calculated annually, semi-annually, quartely, monthly, or daily.") | FinancialOntology.kif 526-529 | |
| (domain compoundInterest 1 FinancialAccount) | FinancialOntology.kif 523-523 | domain compoundInterest, 1 and FinancialAccount |
| (domain compoundInterest 2 Interest) | FinancialOntology.kif 524-524 | domain compoundInterest, 2 and Interest |
| (domain compoundInterest 3 TimeInterval) | FinancialOntology.kif 525-525 | domain compoundInterest, 3 and TimeInterval |
| (instance compoundInterest TernaryPredicate) | FinancialOntology.kif 521-521 | instance compoundInterest and TernaryPredicate |
| (subrelation compoundInterest interestEarned) | FinancialOntology.kif 522-522 | subrelation compoundInterest and interestEarned |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage compoundInterest "%1 对于 %3 %n{不} compound 利息") | domainEnglishFormat.kif 512-512 | |
| (format ChineseTraditionalLanguage compoundInterest "%1 對於 %3 %n{不} compound 利息") | domainEnglishFormat.kif 511-511 | |
| (format EnglishLanguage compoundInterest "%1 %n{doesn't} compound interest %2 for %3") | domainEnglishFormat.kif 510-510 | |
| (termFormat ChineseLanguage compoundInterest "复利") | domainEnglishFormat.kif 16153-16153 | |
| (termFormat ChineseTraditionalLanguage compoundInterest "複利") | domainEnglishFormat.kif 16152-16152 | |
| (termFormat EnglishLanguage compoundInterest "compound interest") | domainEnglishFormat.kif 16151-16151 |
| antecedent |
|
|
| (=> (and (principalAmount ?Account ?Balance) (fixedInterestRate ?Account ?Rate) (compoundInterest ?Account ?Interest ?Period) (equal ?Rate-Decimal (DivisionFn ?Rate 100)) (equal ?Add (AdditionFn 1 ?Rate-Decimal)) (equal ?Exponent (ExponentiationFn ?Add (MagnitudeFn ?Period))) (equal ?Multiply (MultiplicationFn ?Exponent ?Balance))) (equal ?Interest (SubtractionFn ?Multiply ?Balance))) |
FinancialOntology.kif 531-540 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners