Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Loan
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Loan LiabilityAccount) | FinancialOntology.kif 1287-1287 | Loan is a subclass of liability account |
| (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 1288-1290 | Loan is a subclass of liability account |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain floorLoan 1 Loan) | FinancialOntology.kif 819-819 | The number 1 argument of floor loan is an instance of loan |
| (domain downPayment 1 Loan) | FinancialOntology.kif 824-824 | The number 1 argument of down payment is an instance of loan |
| (domain lender 1 Loan) | FinancialOntology.kif 1325-1325 | The number 1 argument of lender is an instance of loan |
| (domain borrower 1 Loan) | FinancialOntology.kif 1339-1339 | The number 1 argument of borrower is an instance of loan |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1351-1351 | The number 1 argument of loan for purchase is an instance of loan |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3975-3975 | The number 1 argument of loan interest is an instance of loan |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4215-4215 | The number 1 argument of loan fee amount is an instance of loan |
| antecedent |
|
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1292-1297 | If X is an instance of loan, then there exist Y, Z such that X is the borrower of Y, and Z lends X |
| (=> (and (instance ?Account Loan) (borrower ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation ?Agent (exists (?Payment) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 1311-1321 | If All of the following hold: (1) X is an instance of loan (2) X is the borrower of Y (3) Z is a principal amount of X (4) W is an agreement period of X (5) X is interest earned V for W (6) equal U and (Z and V), then Y is obliged to perform tasks of type there exists T such that U is a transaction amount of T |
| (=> (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 1373-1383 | If X is an instance of loan, Y is a secured by of X, Z lends X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W |
| (=> (and (instance ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL)) |
FinancialOntology.kif 1439-1444 | If X is an instance of loan, equal Y and the beginning of X, and Z is a total balance of X, then X current account balance Y for Z |
| (=> (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 1491-1508 | If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S |
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3978-3984 | There exists X such that Y is an instance of loan, X is an agreement period of Y, Y is interest earned Z for X if, and only if Z is a loan interest of Y |
| 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 1491-1508 | If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S |
| (=> (instance ?Commitment LoanCommitment) (exists (?Loan ?Lender ?Borrower) (and (instance ?Loan Loan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (partyToAgreement ?Commitment ?Lender) (partyToAgreement ?Commitment ?Borrower)))) |
FinancialOntology.kif 1515-1523 | If X is an instance of loan commitment, then there exist Y, Z, W such that Y is an instance of loan, Z lends Y, Y is the borrower of W, Z is a party to agreement of X, and W is a party to agreement of X |
| (=> (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 1565-1574 | If X is an instance of consolidation loan, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of loan (3) Z is an instance of loan (4) W ends up at the currency of Y (5) V ends up at the currency of Z (6) W originates at the currency of X (7) V originates at the currency of X |
|