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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 1266-1268
(subclass Loan LiabilityAccount) FinancialOntology.kif 1265-1265 LoanLiabilityAccountsubclass では

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1422-1422 BalloonLoanLoansubclass では
(subclass BankTermLoan Loan) FinancialOntology.kif 1504-1504 BankTermLoanLoansubclass では
(subclass BridgeLoan Loan) FinancialOntology.kif 1520-1520 BridgeLoanLoansubclass では
(subclass BrokerLoan Loan) FinancialOntology.kif 1524-1524 BrokerLoanLoansubclass では
(subclass CallableLoan Loan) FinancialOntology.kif 1441-1441 CallableLoanLoansubclass では
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1535-1535 ConsolidationLoanLoansubclass では
(subclass DayLoan Loan) FinancialOntology.kif 1579-1579 DayLoanLoansubclass では
(subclass EvergreenLoan Loan) FinancialOntology.kif 1619-1619 EvergreenLoanLoansubclass では
(subclass IndexedLoan Loan) FinancialOntology.kif 1622-1622 IndexedLoanLoansubclass では
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1626-1626 InterestOnlyLoanLoansubclass では
(subclass PiggybankLoan Loan) FinancialOntology.kif 1601-1601 PiggybankLoanLoansubclass では
(subclass SecuredLoan Loan) FinancialOntology.kif 1361-1361 SecuredLoanLoansubclass では
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1608-1608 SinglePaymentLoanLoansubclass では
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1369-1369 UnsecuredLoanLoansubclass では
(termFormat ChineseLanguage Loan "贷款") domainEnglishFormat.kif 34822-34822 UnsecuredLoanLoansubclass では
(termFormat ChineseTraditionalLanguage Loan "貸款") domainEnglishFormat.kif 34821-34821 UnsecuredLoanLoansubclass では
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 34820-34820 UnsecuredLoanLoansubclass では

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


(domain borrower 1 Loan) FinancialOntology.kif 1316-1316 borrower の数値 1 引数は Loaninstance では
(domain downPayment 1 Loan) FinancialOntology.kif 804-804 downPayment の数値 1 引数は Loaninstance では
(domain floorLoan 1 Loan) FinancialOntology.kif 799-799 floorLoan の数値 1 引数は Loaninstance では
(domain lender 1 Loan) FinancialOntology.kif 1302-1302 lender の数値 1 引数は Loaninstance では
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4175-4175 loanFeeAmount の数値 1 引数は Loaninstance では
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1328-1328 loanForPurchase の数値 1 引数は Loaninstance では
(domain loanInterest 1 Loan) FinancialOntology.kif 3935-3935 loanInterest の数値 1 引数は Loaninstance では

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3938-3944 時間間隔 LoanLoaninstance では agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest
(=>
    (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 1289-1298
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1415-1420
(=>
    (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 1350-1359
(=>
    (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 1465-1482
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1270-1275

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 1465-1482
(=>
    (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 1539-1548
(=>
    (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 1489-1497


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