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 | interestEarned の数値 1 引数は FinancialAccount の instance では |
(domain interestEarned 2 Interest) | FinancialOntology.kif 525-525 | interestEarned の数値 2 引数は Interest の instance では |
(domain interestEarned 3 TimeInterval) | FinancialOntology.kif 526-526 | interestEarned の数値 3 引数は 時間間隔 の instance では |
(instance interestEarned TernaryPredicate) | FinancialOntology.kif 523-523 | interestEarned は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
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 |
![]() |
![]() |