SinglePaymentLoan - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SinglePaymentLoan Loan)	FinancialOntology.kif 1637-1637	Single payment loan is a subclass of loan
(documentation SinglePaymentLoan EnglishLanguage "A loan whose principal is due in total with a single payment at maturity.")	FinancialOntology.kif 1638-1639	Single payment loan is a subclass of loan

appearance as argument number 2

(termFormat EnglishLanguage SinglePaymentLoan "single payment loan")	domainEnglishFormat.kif 53175-53175
(termFormat ChineseTraditionalLanguage SinglePaymentLoan "單筆付款貸款")	domainEnglishFormat.kif 53176-53176
(termFormat ChineseLanguage SinglePaymentLoan "单笔付款贷款")	domainEnglishFormat.kif 53177-53177

antecedent

(=>
    (and
        (instance ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))

If X is an instance of single payment loan, Y is a principal amount of X, and Z is a maturity date of X, then X amount due Y for Z