Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - downPayment
downPayment

appearance as argument number 1
-------------------------


(documentation downPayment EnglishLanguage "The part of the purchase price paid in cash up front, reducing the amount of the loan or mortgage.") FinancialOntology.kif 754-755
(domain downPayment 1 Loan) FinancialOntology.kif 752-752
(domain downPayment 2 CurrencyMeasure) FinancialOntology.kif 753-753
(instance downPayment BinaryPredicate) FinancialOntology.kif 751-751

appearance as argument number 2
-------------------------


(format EnglishLanguage downPayment "%2 is %n a down payment of %1") domainEnglishFormat.kif 209-209
(termFormat EnglishLanguage downPayment "down payment") domainEnglishFormat.kif 3797-3797

antecedent
-------------------------


(=>
    (and
        (downPayment ?Loan ?Amount)
        (agreementEffectiveDate ?Loan ?Date))
    (exists (?Payment)
        (and
            (transactionAmount ?Payment ?Amount)
            (date ?Payment ?Date)
            (destination ?Payment
                (CurrencyFn ?Loan)))))
FinancialOntology.kif 757-765
(=>
    (and
        (downPayment ?Loan ?Amount)
        (loanForPurchase ?Loan ?Purchase)
        (monetaryValue ?Purchase ?Value)
        (equal ?Balance
            (SubtractionFn ?Value ?Amount)))
    (originalBalance ?Loan ?Balance))
FinancialOntology.kif 767-773


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