| 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 | 贷款 是 责任账户 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BalloonLoan Loan) | FinancialOntology.kif 1405-1405 | 气球贷款 是 贷款 的 subclass |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1487-1487 | 银行定期贷款 是 贷款 的 subclass |
| (subclass BridgeLoan Loan) | FinancialOntology.kif 1503-1503 | 过桥贷款 是 贷款 的 subclass |
| (subclass BrokerLoan Loan) | FinancialOntology.kif 1507-1507 | 经纪人贷款 是 贷款 的 subclass |
| (subclass CallableLoan Loan) | FinancialOntology.kif 1424-1424 | 可赎回贷款 是 贷款 的 subclass |
| (subclass ConsolidationLoan Loan) | FinancialOntology.kif 1518-1518 | 合并贷款 是 贷款 的 subclass |
| (subclass DayLoan Loan) | FinancialOntology.kif 1562-1562 | 一天的贷款 是 贷款 的 subclass |
| (subclass EvergreenLoan Loan) | FinancialOntology.kif 1602-1602 | 常青贷款 是 贷款 的 subclass |
| (subclass IndexedLoan Loan) | FinancialOntology.kif 1605-1605 | 索引贷款 是 贷款 的 subclass |
| (subclass InterestOnlyLoan Loan) | FinancialOntology.kif 1609-1609 | 仅利息贷款 是 贷款 的 subclass |
| (subclass PiggybankLoan Loan) | FinancialOntology.kif 1584-1584 | 储钱贷款 是 贷款 的 subclass |
| (subclass SecuredLoan Loan) | FinancialOntology.kif 1344-1344 | 担保贷款 是 贷款 的 subclass |
| (subclass SinglePaymentLoan Loan) | FinancialOntology.kif 1591-1591 | 单笔付款贷款 是 贷款 的 subclass |
| (subclass UnsecuredLoan Loan) | FinancialOntology.kif 1352-1352 | 无抵押贷款 是 贷款 的 subclass |
| (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 | 借款人 的 1 数量 是 贷款 的 instance |
| (domain downPayment 1 Loan) | FinancialOntology.kif 801-801 | 首付 的 1 数量 是 贷款 的 instance |
| (domain floorLoan 1 Loan) | FinancialOntology.kif 796-796 | 楼层贷款 的 1 数量 是 贷款 的 instance |
| (domain lender 1 Loan) | FinancialOntology.kif 1285-1285 | 贷款人 的 1 数量 是 贷款 的 instance |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4109-4109 | 贷款费用金额 的 1 数量 是 贷款 的 instance |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1311-1311 | 贷款购买 的 1 数量 是 贷款 的 instance |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3869-3869 | 贷款利息 的 1 数量 是 贷款 的 instance |
| antecedent |
|
|
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3872-3878 | 有存在 时距 这样 贷款 是 贷款 的 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 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 |
|
|
|