| 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 1266-1268 | |
| (subclass Loan LiabilityAccount) | FinancialOntology.kif 1265-1265 | Loan は LiabilityAccount の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain borrower 1 Loan) | FinancialOntology.kif 1316-1316 | borrower の数値 1 引数は Loan の instance では |
| (domain downPayment 1 Loan) | FinancialOntology.kif 804-804 | downPayment の数値 1 引数は Loan の instance では |
| (domain floorLoan 1 Loan) | FinancialOntology.kif 799-799 | floorLoan の数値 1 引数は Loan の instance では |
| (domain lender 1 Loan) | FinancialOntology.kif 1302-1302 | lender の数値 1 引数は Loan の instance では |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4175-4175 | loanFeeAmount の数値 1 引数は Loan の instance では |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1328-1328 | loanForPurchase の数値 1 引数は Loan の instance では |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3935-3935 | loanInterest の数値 1 引数は Loan の instance では |
| antecedent |
|
|
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3938-3944 | 時間間隔 Loan は Loan の instance では 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 1289-1298 | |
| (=> (and (instance ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL)) |
FinancialOntology.kif 1415-1420 | |
| (=> (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 1350-1359 | |
| (=> (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 1465-1482 |
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1270-1275 |
| consequent |
|
|
|
|
|