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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Loan
Loan(loan)business_loan, commercial_loan, equity_credit_line, home_equity_credit, home_equity_loan, home_loan, installment_credit, installment_loan, interbank_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 1249-1251
(subclass Loan LiabilityAccount) FinancialOntology.kif 1248-1248 Loan is a subclass of liability account

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1405-1405 Balloon loan is a subclass of loan
(subclass BankTermLoan Loan) FinancialOntology.kif 1487-1487 Bank term loan is a subclass of loan
(subclass BridgeLoan Loan) FinancialOntology.kif 1503-1503 Bridge loan is a subclass of loan
(subclass BrokerLoan Loan) FinancialOntology.kif 1507-1507 Broker loan is a subclass of loan
(subclass CallableLoan Loan) FinancialOntology.kif 1424-1424 Callable loan is a subclass of loan
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1518-1518 Consolidation loan is a subclass of loan
(subclass DayLoan Loan) FinancialOntology.kif 1562-1562 Day loan is a subclass of loan
(subclass EvergreenLoan Loan) FinancialOntology.kif 1602-1602 Evergreen loan is a subclass of loan
(subclass IndexedLoan Loan) FinancialOntology.kif 1605-1605 Indexed loan is a subclass of loan
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1609-1609 Interest only loan is a subclass of loan
(subclass PiggybankLoan Loan) FinancialOntology.kif 1584-1584 Piggybank loan is a subclass of loan
(subclass SecuredLoan Loan) FinancialOntology.kif 1344-1344 Secured loan is a subclass of loan
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1591-1591 Single payment loan is a subclass of loan
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1352-1352 Unsecured loan is a subclass of loan
(termFormat ChineseLanguage Loan "贷款") domainEnglishFormat.kif 34794-34794
(termFormat ChineseTraditionalLanguage Loan "貸款") domainEnglishFormat.kif 34793-34793
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 34792-34792

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


(domain borrower 1 Loan) FinancialOntology.kif 1299-1299 The number 1 argument of borrower is an instance of loan
(domain downPayment 1 Loan) FinancialOntology.kif 801-801 The number 1 argument of down payment is an instance of loan
(domain floorLoan 1 Loan) FinancialOntology.kif 796-796 The number 1 argument of floor loan is an instance of loan
(domain lender 1 Loan) FinancialOntology.kif 1285-1285 The number 1 argument of lender is an instance of loan
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4109-4109 The number 1 argument of loan fee amount is an instance of loan
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1311-1311 The number 1 argument of loan for purchase is an instance of loan
(domain loanInterest 1 Loan) FinancialOntology.kif 3869-3869 The number 1 argument of loan interest is an instance of loan

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3872-3878 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
(=>
    (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 1272-1281
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1398-1403
(=>
    (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 1333-1342
(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Time ?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 1448-1465
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1253-1258

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


(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Time ?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 1448-1465
(=>
    (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 1522-1531
(=>
    (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 1472-1480


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 3.0 is open source software produced by Articulate Software and its partners