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 贷款责任账户subclass

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1406-1406 气球贷款贷款subclass
(subclass BankTermLoan Loan) FinancialOntology.kif 1488-1488 银行定期贷款贷款subclass
(subclass BridgeLoan Loan) FinancialOntology.kif 1504-1504 过桥贷款贷款subclass
(subclass BrokerLoan Loan) FinancialOntology.kif 1508-1508 经纪人贷款贷款subclass
(subclass CallableLoan Loan) FinancialOntology.kif 1425-1425 可赎回贷款贷款subclass
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1519-1519 合并贷款贷款subclass
(subclass DayLoan Loan) FinancialOntology.kif 1563-1563 一天的贷款贷款subclass
(subclass EvergreenLoan Loan) FinancialOntology.kif 1603-1603 常青贷款贷款subclass
(subclass IndexedLoan Loan) FinancialOntology.kif 1606-1606 索引贷款贷款subclass
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1610-1610 仅利息贷款贷款subclass
(subclass PiggybankLoan Loan) FinancialOntology.kif 1585-1585 储钱贷款贷款subclass
(subclass SecuredLoan Loan) FinancialOntology.kif 1345-1345 担保贷款贷款subclass
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1592-1592 单笔付款贷款贷款subclass
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1353-1353 无抵押贷款贷款subclass
(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 数量 是 贷款instance
(domain downPayment 1 Loan) FinancialOntology.kif 802-802 首付 的 1 数量 是 贷款instance
(domain floorLoan 1 Loan) FinancialOntology.kif 797-797 楼层贷款 的 1 数量 是 贷款instance
(domain lender 1 Loan) FinancialOntology.kif 1286-1286 贷款人 的 1 数量 是 贷款instance
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4157-4157 贷款费用金额 的 1 数量 是 贷款instance
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1312-1312 贷款购买 的 1 数量 是 贷款instance
(domain loanInterest 1 Loan) FinancialOntology.kif 3917-3917 贷款利息 的 1 数量 是 贷款instance

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3920-3926 有存在 时距 这样 贷款贷款instance那个 时距那个 贷款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