Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lender |
| appearance as argument number 1 |
|
| (subrelation lender partyToAgreement) | FinancialOntology.kif 1323-1323 | lender is a subrelation of party to agreement |
| (instance lender BinaryPredicate) | FinancialOntology.kif 1324-1324 | lender is an instance of binary predicate |
| (domain lender 1 Loan) | FinancialOntology.kif 1325-1325 | The number 1 argument of lender is an instance of loan |
| (domain lender 2 CognitiveAgent) | FinancialOntology.kif 1326-1326 | The number 2 argument of lender is an instance of cognitive agent |
| (documentation lender EnglishLanguage "(lender ?Loan ?Agent) means that ?Agent is a private, public or institutional entity that put up the funds for the ?Loan.") | FinancialOntology.kif 1327-1328 | The number 2 argument of lender is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lender "%2 lends %1") | domainEnglishFormat.kif 3734-3734 | |
| (format ChineseTraditionalLanguage lender "%2 lends %1 ") | domainEnglishFormat.kif 3735-3735 | |
| (format ChineseLanguage lender "%2 lends %1 ") | domainEnglishFormat.kif 3736-3736 | |
| (termFormat EnglishLanguage lender "lender") | domainEnglishFormat.kif 33955-33955 | |
| (termFormat ChineseTraditionalLanguage lender "貸款人") | domainEnglishFormat.kif 33956-33956 | |
| (termFormat ChineseLanguage lender "贷款人") | domainEnglishFormat.kif 33957-33957 |
| 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 |
| (=> (lender ?Loan ?Agent) (exists (?Lending) (and (instance ?Lending Lending) (agent ?Lending ?Agent)))) |
FinancialOntology.kif 1330-1335 | If X lends Y, then there exists Z such that Z is an instance of lending and X is an agent of Z |
| (=> (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 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 ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1533-1537 | If X is an instance of bank term loan and Y lends X, then Y is an instance of bank |
| (=> (and (instance ?Loan DayLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1609-1613 | If X is an instance of day loan and Y lends X, then Y is an instance of bank |
| 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 |
| (=> (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 PiggybankLoan) (equal 2 (CardinalityFn (KappaFn ?Lender (lender ?Loan ?Lender))))) |
FinancialOntology.kif 1630-1635 | If X is an instance of piggybank loan, then equal 2 and the number of instances in the class described by Y |
|