interestEarned |
appearance as argument number 1 |
![]() |
(documentation interestEarned EnglishLanguage "(interestEarned ?Account ?Interest ?Period) means that ?Interest is the amount earned on the FinancialAccount ?Account, for the duration ?Period.") | FinancialOntology.kif 527-529 | |
(domain interestEarned 1 FinancialAccount) | FinancialOntology.kif 524-524 | |
(domain interestEarned 2 Interest) | FinancialOntology.kif 525-525 | |
(domain interestEarned 3 TimeInterval) | FinancialOntology.kif 526-526 | |
(instance interestEarned TernaryPredicate) | FinancialOntology.kif 523-523 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage interestEarned "%1 %n 是 对于 %3 的赚取 interest ") | domainEnglishFormat.kif 1361-1361 | |
(format ChineseTraditionalLanguage interestEarned "%1 %n 是 對於 %3 的賺取 interest ") | domainEnglishFormat.kif 1360-1360 | |
(format EnglishLanguage interestEarned "%1 is %n interest earned %2 for %3") | domainEnglishFormat.kif 1359-1359 | |
(subrelation compoundInterest interestEarned) | FinancialOntology.kif 553-553 | |
(subrelation simpleInterest interestEarned) | FinancialOntology.kif 532-532 | |
(termFormat ChineseLanguage interestEarned "利息收入") | domainEnglishFormat.kif 30420-30420 | |
(termFormat ChineseTraditionalLanguage interestEarned "利息收入") | domainEnglishFormat.kif 30419-30419 | |
(termFormat EnglishLanguage interestEarned "interest earned") | domainEnglishFormat.kif 30418-30418 |
antecedent |
![]() |
(<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3938-3944 | |
(=> (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Borrower) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Lender)))) |
FinancialOntology.kif 1277-1287 | |
(=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization)))) |
FinancialOntology.kif 1228-1238 | |
(=> (and (instance ?Account CreditAccount) (accountHolder ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1240-1249 | |
(=> (and (instance ?Account Loan) (borrower ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1289-1298 | |
(=> (and (instance ?Account SavingsAccount) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Agent)))) |
FinancialOntology.kif 1045-1054 | |
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2350-2372 | |
(=> (and (instance ?Loan InterestOnlyLoan) (agreementPeriod ?Loan ?Period) (principalAmount ?Loan ?Principal) (interestEarned ?Loan ?Interest ?Period)) (and (amountDue ?Loan ?Principal (EndFn ?Period)) (amountDue ?Loan ?Interest ?Date) (before (EndFn ?Date) (EndFn ?Period)))) |
FinancialOntology.kif 1631-1640 |
consequent |
![]() |
(=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period)) |
FinancialOntology.kif 4180-4184 | |
(=> (and (statementInterest ?Statement ?Interest) (statementPeriod ?Statement ?Period) (statementAccount ?Statement ?Account)) (interestEarned ?Account ?Interest ?Period)) |
FinancialOntology.kif 4100-4105 |
![]() |
![]() |