| 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 1264-1266 | |
| (subclass Loan LiabilityAccount) | FinancialOntology.kif 1263-1263 | 子類 貸款 and 責任賬戶 |
| appearance as argument number 2 |
|
|
| (subclass BalloonLoan Loan) | FinancialOntology.kif 1420-1420 | 子類 氣球貸款 and 貸款 |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1502-1502 | 子類 銀行定期貸款 and 貸款 |
| (subclass BridgeLoan Loan) | FinancialOntology.kif 1518-1518 | 子類 過橋貸款 and 貸款 |
| (subclass BrokerLoan Loan) | FinancialOntology.kif 1522-1522 | 子類 經紀人貸款 and 貸款 |
| (subclass CallableLoan Loan) | FinancialOntology.kif 1439-1439 | 子類 可贖回貸款 and 貸款 |
| (subclass ConsolidationLoan Loan) | FinancialOntology.kif 1533-1533 | 子類 合併貸款 and 貸款 |
| (subclass DayLoan Loan) | FinancialOntology.kif 1577-1577 | 子類 一天的貸款 and 貸款 |
| (subclass EvergreenLoan Loan) | FinancialOntology.kif 1617-1617 | 子類 常青貸款 and 貸款 |
| (subclass IndexedLoan Loan) | FinancialOntology.kif 1620-1620 | 子類 索引貸款 and 貸款 |
| (subclass InterestOnlyLoan Loan) | FinancialOntology.kif 1624-1624 | 子類 僅利息貸款 and 貸款 |
| (subclass PiggybankLoan Loan) | FinancialOntology.kif 1599-1599 | 子類 儲錢貸款 and 貸款 |
| (subclass SecuredLoan Loan) | FinancialOntology.kif 1359-1359 | 子類 擔保貸款 and 貸款 |
| (subclass SinglePaymentLoan Loan) | FinancialOntology.kif 1606-1606 | 子類 單筆付款貸款 and 貸款 |
| (subclass UnsecuredLoan Loan) | FinancialOntology.kif 1367-1367 | 子類 無抵押貸款 and 貸款 |
| (termFormat ChineseLanguage Loan "贷款") | domainEnglishFormat.kif 34839-34839 | 子類 無抵押貸款 and 貸款 |
| (termFormat ChineseTraditionalLanguage Loan "貸款") | domainEnglishFormat.kif 34838-34838 | 子類 無抵押貸款 and 貸款 |
| (termFormat EnglishLanguage Loan "loan") | domainEnglishFormat.kif 34837-34837 | 子類 無抵押貸款 and 貸款 |
| appearance as argument number 3 |
|
|
| (domain borrower 1 Loan) | FinancialOntology.kif 1314-1314 | 域 借款人, 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 1300-1300 | 域 貸款人, 1 and 貸款 |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4171-4171 | 域 貸款費用金額, 1 and 貸款 |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1326-1326 | 域 貸款購買, 1 and 貸款 |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3931-3931 | 域 貸款利息, 1 and 貸款 |
| antecedent |
|
|
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3934-3940 | 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 1287-1296 |
|
| (=> (and (instance ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL)) |
FinancialOntology.kif 1413-1418 |
|
| (=> (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 1348-1357 | |
| (=> (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 1463-1480 |
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1268-1273 |
| 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 1463-1480 |
|
| (=> (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 1537-1546 | |
| (=> (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 1487-1495 |
|
|
|