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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Loan
Loanbusiness_loan, commercial_loan, equity_credit_line, home_equity_credit, home_equity_loan, home_loan, installment_credit, installment_loan, interbank_loan, loan

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


(documentation Loan EnglishLanguage "An arrangement in which a lender gives money or property to a borrower, and the borrower agrees to return the property or repay the money, usually along with interest, at some future point(s) in time.") FinancialOntology.kif 1192-1194
(subclass Loan LiabilityAccount) FinancialOntology.kif 1191-1191

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1348-1348
(subclass BankTermLoan Loan) FinancialOntology.kif 1431-1431
(subclass BridgeLoan Loan) FinancialOntology.kif 1447-1447
(subclass BrokerLoan Loan) FinancialOntology.kif 1451-1451
(subclass CallableLoan Loan) FinancialOntology.kif 1367-1367
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1462-1462
(subclass DayLoan Loan) FinancialOntology.kif 1507-1507
(subclass EvergreenLoan Loan) FinancialOntology.kif 1547-1547
(subclass IndexedLoan Loan) FinancialOntology.kif 1550-1550
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1554-1554
(subclass PiggybankLoan Loan) FinancialOntology.kif 1529-1529
(subclass SecuredLoan Loan) FinancialOntology.kif 1287-1287
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1536-1536
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1295-1295
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 6220-6220

appearance as argument number 3
-------------------------


(domain borrower 1 Loan) FinancialOntology.kif 1242-1242
(domain downPayment 1 Loan) FinancialOntology.kif 752-752
(domain floorLoan 1 Loan) FinancialOntology.kif 747-747
(domain lender 1 Loan) FinancialOntology.kif 1228-1228
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 3994-3994
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1254-1254
(domain loanInterest 1 Loan) FinancialOntology.kif 3752-3752

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3755-3761
(=>
    (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 1215-1224
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1341-1346
(=>
    (and
        (instance ?Loan Loan)
        (securedBy ?Loan ?Security)
        (lender ?Loan ?Bank)
        (instance ?Default FinancialDefault)
        (patient ?Default ?Loan))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Default))
        (possesses ?Bank ?Security)))
FinancialOntology.kif 1276-1285
(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Date ?Amount)
        (patient ?Refinancing ?Loan))
    (exists (?NewLoan ?Payment)
        (and
            (instance ?NewLoan Loan)
            (borrower ?NewLoan ?Borrower)
            (securedBy ?Loan ?Collateral)
            (destination ?Payment
                (CurrencyFn ?Loan))
            (time ?Payment ?Time)
            (origin ?Payment
                (CurrencyFn ?NewLoan))
            (transactionAmount ?Payment ?Amount))))
FinancialOntology.kif 1392-1409
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1196-1201

consequent
-------------------------


(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Date ?Amount)
        (patient ?Refinancing ?Loan))
    (exists (?NewLoan ?Payment)
        (and
            (instance ?NewLoan Loan)
            (borrower ?NewLoan ?Borrower)
            (securedBy ?Loan ?Collateral)
            (destination ?Payment
                (CurrencyFn ?Loan))
            (time ?Payment ?Time)
            (origin ?Payment
                (CurrencyFn ?NewLoan))
            (transactionAmount ?Payment ?Amount))))
FinancialOntology.kif 1392-1409
(=>
    (instance ?Loan ConsolidationLoan)
    (exists (?Loan1 ?Loan2 ?Payment1 ?Payment2)
        (and
            (instance ?Loan1 Loan)
            (instance ?Loan2 Loan)
            (destination ?Payment1
                (CurrencyFn ?Loan1))
            (destination ?Payment2
                (CurrencyFn ?Loan2))
            (origin ?Payment1
                (CurrencyFn ?Loan))
            (origin ?Payment2
                (CurrencyFn ?Loan)))))
FinancialOntology.kif 1466-1475
(=>
    (property ?Commitment LoanCommitment)
    (exists (?Loan ?Lender ?Borrower)
        (and
            (instance ?Loan Loan)
            (lender ?Loan ?Lender)
            (borrower ?Loan ?Borrower)
            (partyToAgreement ?Commitment ?Lender)
            (partyToAgreement ?Commitment ?Borrower))))
FinancialOntology.kif 1416-1424


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