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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Loan

Sigma KEE - 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 1249-1251
(subclass Loan LiabilityAccount) FinancialOntology.kif 1248-1248

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1405-1405
(subclass BankTermLoan Loan) FinancialOntology.kif 1487-1487
(subclass BridgeLoan Loan) FinancialOntology.kif 1503-1503
(subclass BrokerLoan Loan) FinancialOntology.kif 1507-1507
(subclass CallableLoan Loan) FinancialOntology.kif 1424-1424
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1518-1518
(subclass DayLoan Loan) FinancialOntology.kif 1562-1562
(subclass EvergreenLoan Loan) FinancialOntology.kif 1602-1602
(subclass IndexedLoan Loan) FinancialOntology.kif 1605-1605
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1609-1609
(subclass PiggybankLoan Loan) FinancialOntology.kif 1584-1584
(subclass SecuredLoan Loan) FinancialOntology.kif 1344-1344
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1591-1591
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1352-1352
(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
(domain downPayment 1 Loan) FinancialOntology.kif 801-801
(domain floorLoan 1 Loan) FinancialOntology.kif 796-796
(domain lender 1 Loan) FinancialOntology.kif 1285-1285
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4109-4109
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1311-1311
(domain loanInterest 1 Loan) FinancialOntology.kif 3869-3869

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3872-3878
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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