loanInterest |
appearance as argument number 1 |
(domain loanInterest 1 Loan) | FinancialOntology.kif 3917-3917 | The number 1 argument of loan interest is an instance of loan |
(domain loanInterest 2 CurrencyMeasure) | FinancialOntology.kif 3918-3918 | The number 2 argument of loan interest is an instance of currency measure |
(instance loanInterest BinaryPredicate) | FinancialOntology.kif 3916-3916 | loan interest is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage loanInterest "%2 %n 是 %1 的 loan 利息") | domainEnglishFormat.kif 1555-1555 | |
(format ChineseTraditionalLanguage loanInterest "%2 %n 是 %1 的 loan 利息") | domainEnglishFormat.kif 1554-1554 | |
(format EnglishLanguage loanInterest "%2 is %n a loan interest of %1") | domainEnglishFormat.kif 1553-1553 | |
(termFormat ChineseLanguage loanInterest "贷款利息") | domainEnglishFormat.kif 34835-34835 | |
(termFormat ChineseTraditionalLanguage loanInterest "貸款利息") | domainEnglishFormat.kif 34834-34834 | |
(termFormat EnglishLanguage loanInterest "loan interest") | domainEnglishFormat.kif 34833-34833 |
consequent |
(<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3920-3926 | There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan |