| Loan(loan) | | business_loan, commercial_loan, equity_credit_line, home_equity_credit, home_equity_loan, home_loan, installment_credit, installment_loan, interbank_loan |
| appearance as argument number 1 |
|
|
| s__documentation(s__Loan,s__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 1191-1193 | |
| s__subclass(s__Loan,s__LiabilityAccount) s__instance(s__Loan,s__SetOrClass) s__instance(s__LiabilityAccount,s__SetOrClass)
|
FinancialOntology.kif 1190-1190 | Loan is a subclass of liability account |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__borrower__m,n__1,s__Loan)
|
FinancialOntology.kif 1241-1241 | The number 1 argument of borrower is an instance of loan |
| s__domain(s__downPayment__m,n__1,s__Loan)
|
FinancialOntology.kif 751-751 | The number 1 argument of down payment is an instance of loan |
| s__domain(s__floorLoan__m,n__1,s__Loan)
|
FinancialOntology.kif 746-746 | The number 1 argument of floor loan is an instance of loan |
| s__domain(s__lender__m,n__1,s__Loan)
|
FinancialOntology.kif 1227-1227 | The number 1 argument of lender is an instance of loan |
| s__domain(s__loanFeeAmount__m,n__1,s__Loan)
|
FinancialOntology.kif 4000-4000 | The number 1 argument of loan fee amount is an instance of loan |
| s__domain(s__loanForPurchase__m,n__1,s__Loan)
|
FinancialOntology.kif 1253-1253 | The number 1 argument of loan for purchase is an instance of loan |
| s__domain(s__loanInterest__m,n__1,s__Loan)
|
FinancialOntology.kif 3759-3759 | The number 1 argument of loan interest is an instance of loan |
| antecedent |
|
|
| ( ! [V__Amount,V__Loan] : (s__instance(V__Amount,s__Interest) => (( ? [V__Period] : ((s__instance(V__Period,s__TimeInterval) & (s__instance(V__Loan,s__Loan) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Amount,V__Period))))) => s__loanInterest(V__Loan,V__Amount)) & (s__loanInterest(V__Loan,V__Amount) => ( ? [V__Period] : ((s__instance(V__Period,s__TimeInterval) & (s__instance(V__Loan,s__Loan) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Amount,V__Period)))))) ) )
|
FinancialOntology.kif 3762-3768 | There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1214-1223 |
|
| ( ! [V__BAL,V__LOAN,V__START] : ((s__instance(V__BAL,s__CurrencyMeasure) & s__instance(V__START,s__TimePoint) & s__instance(V__START,s__Day)) => (s__instance(V__LOAN,s__Loan) & (V__START = s__BeginFn(V__LOAN)) & s__totalBalance(V__LOAN,V__BAL)) => s__currentAccountBalance(V__LOAN,V__START,V__BAL) ) )
|
FinancialOntology.kif 1340-1345 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1275-1284 |
|
| ( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Time,s__Day) & s__instance(V__Collateral,s__Collateral) & s__instance(V__Borrower,s__CognitiveAgent)) => (s__instance(V__Refinancing,s__Refinancing) & s__time(V__Refinancing,V__Time) & s__instance(V__Loan,s__Loan) & s__securedBy(V__Loan,V__Collateral) & s__borrower(V__Loan,V__Borrower) & s__currentAccountBalance(V__Loan,V__Time,V__Amount) & s__patient(V__Refinancing,V__Loan)) => ( ? [V__NewLoan, V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__instance(V__NewLoan,s__Loan) & s__borrower(V__NewLoan,V__Borrower) & s__securedBy(V__Loan,V__Collateral) & s__destination(V__Payment,s__CurrencyFn(V__Loan)) & s__time(V__Payment,V__Time) & s__origin(V__Payment,s__CurrencyFn(V__NewLoan)) & s__transactionAmount(V__Payment,V__Amount))))) ) )
|
FinancialOntology.kif 1390-1407 |
|
| ( ! [V__Loan] : (s__instance(V__Loan,s__Loan) => ( ? [V__Borrower, V__Lender] : ((s__instance(V__Borrower,s__CognitiveAgent) & s__instance(V__Lender,s__CognitiveAgent) & (s__borrower(V__Loan,V__Borrower) & s__lender(V__Loan,V__Lender))))) ) )
|
FinancialOntology.kif 1195-1200 |
|
| consequent |
|
|
|
|
|