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 1250-1252
(subclass Loan LiabilityAccount) FinancialOntology.kif 1249-1249 子類 貸款 and 責任賬戶

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1406-1406 子類 氣球貸款 and 貸款
(subclass BankTermLoan Loan) FinancialOntology.kif 1488-1488 子類 銀行定期貸款 and 貸款
(subclass BridgeLoan Loan) FinancialOntology.kif 1504-1504 子類 過橋貸款 and 貸款
(subclass BrokerLoan Loan) FinancialOntology.kif 1508-1508 子類 經紀人貸款 and 貸款
(subclass CallableLoan Loan) FinancialOntology.kif 1425-1425 子類 可贖回貸款 and 貸款
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1519-1519 子類 合併貸款 and 貸款
(subclass DayLoan Loan) FinancialOntology.kif 1563-1563 子類 一天的貸款 and 貸款
(subclass EvergreenLoan Loan) FinancialOntology.kif 1603-1603 子類 常青貸款 and 貸款
(subclass IndexedLoan Loan) FinancialOntology.kif 1606-1606 子類 索引貸款 and 貸款
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1610-1610 子類 僅利息貸款 and 貸款
(subclass PiggybankLoan Loan) FinancialOntology.kif 1585-1585 子類 儲錢貸款 and 貸款
(subclass SecuredLoan Loan) FinancialOntology.kif 1345-1345 子類 擔保貸款 and 貸款
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1592-1592 子類 單筆付款貸款 and 貸款
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1353-1353 子類 無抵押貸款 and 貸款
(termFormat ChineseLanguage Loan "贷款") domainEnglishFormat.kif 34811-34811
(termFormat ChineseTraditionalLanguage Loan "貸款") domainEnglishFormat.kif 34810-34810
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 34809-34809

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


(domain borrower 1 Loan) FinancialOntology.kif 1300-1300 借款人, 1 and 貸款
(domain downPayment 1 Loan) FinancialOntology.kif 802-802 首付, 1 and 貸款
(domain floorLoan 1 Loan) FinancialOntology.kif 797-797 樓層貸款, 1 and 貸款
(domain lender 1 Loan) FinancialOntology.kif 1286-1286 貸款人, 1 and 貸款
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4157-4157 貸款費用金額, 1 and 貸款
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1312-1312 貸款購買, 1 and 貸款
(domain loanInterest 1 Loan) FinancialOntology.kif 3917-3917 貸款利息, 1 and 貸款

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3920-3926 TimeInterval 貸款 and 貸款 TimeInterval 貸款agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 貸款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 1273-1282
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
(=>
    (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 1334-1343
(=>
    (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 1449-1466
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1254-1259

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 1449-1466
(=>
    (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 1523-1532
(=>
    (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 1473-1481


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