Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| borrower |
| appearance as argument number 1 |
|
| (subrelation borrower partyToAgreement) | FinancialOntology.kif 1337-1337 | borrower is a subrelation of party to agreement |
| (instance borrower BinaryPredicate) | FinancialOntology.kif 1338-1338 | borrower is an instance of binary predicate |
| (domain borrower 1 Loan) | FinancialOntology.kif 1339-1339 | The number 1 argument of borrower is an instance of loan |
| (domain borrower 2 CognitiveAgent) | FinancialOntology.kif 1340-1340 | The number 2 argument of borrower is an instance of cognitive agent |
| (documentation borrower EnglishLanguage "(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan") | FinancialOntology.kif 1341-1341 | The number 2 argument of borrower is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Borrower) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Lender)))) |
FinancialOntology.kif 1299-1309 | If X is the borrower of Y, Z lends X, W is an agreement period of X, and X is interest earned V for W, then there exists U such that U originates at Y, V is a transaction amount of U, and U ends up at Z |
| (=> (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 |
| (=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1343-1348 | If X is the borrower of Y, then there exists Z such that Z is an instance of borrowing and Y is an agent of Z |
| (=> (and (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation ?Agent (exists (?Payment) (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))))) |
FinancialOntology.kif 1451-1462 | If X is an instance of balloon loan, Y is a maturity date of X, Z is a total balance of X, and X is the borrower of W, then W is obliged to perform tasks of type there exists V such that date of V is Y, Z is a transaction amount of V, and V ends up at the currency of X |
| (=> (and (instance ?Loan CallableLoan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (totalBalance ?Loan ?Amount) (instance ?Call Call) (agent ?Call ?Lender) (patient ?Call ?Loan)) (holdsObligation ?Borrower (exists (?Payment) (and (destination ?Payment ?Lender) (time ?Payment (ImmediateFutureFn (WhenFn ?Call))) (transactionAmount ?Payment ?Amount))))) |
FinancialOntology.kif 1469-1485 | If All of the following hold: (1) X is an instance of callable loan (2) Y lends X (3) X is the borrower of Z (4) W is a total balance of X (5) V is an instance of call (6) Y is an agent of V (7) X is a patient of V, then Z is obliged to perform tasks of type there exists U such that U ends up at Y, U exists during immediately after the time of existence of V, and W is a transaction amount of U |
| (=> (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 |
| (=> (and (instance ?Loan BrokerLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1555-1559 | If X is an instance of broker loan and X is the borrower of Y, then broker is an attribute of Y |
| (=> (and (instance ?Loan DayLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1615-1619 | If X is an instance of day loan and X is the borrower of Y, then broker is an attribute of Y |
| consequent |
|
|
| (=> (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 ?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 |
|