|
|
   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 | Loan は LiabilityAccount の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass BalloonLoan Loan) | FinancialOntology.kif 1406-1406 | BalloonLoan は Loan の subclass では %n |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1488-1488 | BankTermLoan は Loan の subclass では %n |
| (subclass BridgeLoan Loan) | FinancialOntology.kif 1504-1504 | BridgeLoan は Loan の subclass では %n |
| (subclass BrokerLoan Loan) | FinancialOntology.kif 1508-1508 | BrokerLoan は Loan の subclass では %n |
| (subclass CallableLoan Loan) | FinancialOntology.kif 1425-1425 | CallableLoan は Loan の subclass では %n |
| (subclass ConsolidationLoan Loan) | FinancialOntology.kif 1519-1519 | ConsolidationLoan は Loan の subclass では %n |
| (subclass DayLoan Loan) | FinancialOntology.kif 1563-1563 | DayLoan は Loan の subclass では %n |
| (subclass EvergreenLoan Loan) | FinancialOntology.kif 1603-1603 | EvergreenLoan は Loan の subclass では %n |
| (subclass IndexedLoan Loan) | FinancialOntology.kif 1606-1606 | IndexedLoan は Loan の subclass では %n |
| (subclass InterestOnlyLoan Loan) | FinancialOntology.kif 1610-1610 | InterestOnlyLoan は Loan の subclass では %n |
| (subclass PiggybankLoan Loan) | FinancialOntology.kif 1585-1585 | PiggybankLoan は Loan の subclass では %n |
| (subclass SecuredLoan Loan) | FinancialOntology.kif 1345-1345 | SecuredLoan は Loan の subclass では %n |
| (subclass SinglePaymentLoan Loan) | FinancialOntology.kif 1592-1592 | SinglePaymentLoan は Loan の subclass では %n |
| (subclass UnsecuredLoan Loan) | FinancialOntology.kif 1353-1353 | UnsecuredLoan は Loan の subclass では %n |
| (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 | borrower の数値 1 引数は Loan の instance では %n |
| (domain downPayment 1 Loan) | FinancialOntology.kif 802-802 | downPayment の数値 1 引数は Loan の instance では %n |
| (domain floorLoan 1 Loan) | FinancialOntology.kif 797-797 | floorLoan の数値 1 引数は Loan の instance では %n |
| (domain lender 1 Loan) | FinancialOntology.kif 1286-1286 | lender の数値 1 引数は Loan の instance では %n |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4157-4157 | loanFeeAmount の数値 1 引数は Loan の instance では %n |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1312-1312 | loanForPurchase の数値 1 引数は Loan の instance では %n |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3917-3917 | loanInterest の数値 1 引数は Loan の instance では %n |
| antecedent |
|
|
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3920-3926 | 時間間隔 Loan は Loan の instance では %n 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 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 |
|
|
|