| appearance as argument number 1 |
|
| (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 1302-1303 | |
| (domain lender 1 Loan) | FinancialOntology.kif 1300-1300 | 域 貸款人, 1 and 貸款 |
| (domain lender 2 CognitiveAgent) | FinancialOntology.kif 1301-1301 | 域 貸款人, 2 and CognitiveAgent |
| (instance lender BinaryPredicate) | FinancialOntology.kif 1299-1299 | 例 貸款人 and BinaryPredicate |
| (subrelation lender partyToAgreement) | FinancialOntology.kif 1298-1298 | 子關係 貸款人 and 協議的一方 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage lender "%2 lends %1 ") | domainEnglishFormat.kif 3736-3736 | |
| (format ChineseTraditionalLanguage lender "%2 lends %1 ") | domainEnglishFormat.kif 3735-3735 | |
| (format EnglishLanguage lender "%2 lends %1") | domainEnglishFormat.kif 3734-3734 | |
| (termFormat ChineseLanguage lender "贷款人") | domainEnglishFormat.kif 33981-33981 | |
| (termFormat ChineseTraditionalLanguage lender "貸款人") | domainEnglishFormat.kif 33980-33980 | |
| (termFormat EnglishLanguage lender "lender") | domainEnglishFormat.kif 33979-33979 |
| 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 1275-1285 |
|
| (=> (and (instance ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1505-1509 | |
| (=> (and (instance ?Loan CallableLoan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (totalBalance ?Loan ?Amount) (instance ?Call Call) (agent ?Call ?Lender) (patient ?Call ?Loan)) (holdsObligation (KappaFn ?Payment (and (destination ?Payment ?Lender) (time ?Payment (ImmediateFutureFn (WhenFn ?Call))) (transactionAmount ?Payment ?Amount))) ?Borrower)) |
FinancialOntology.kif 1442-1457 |
|
| (=> (and (instance ?Loan DayLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1581-1585 | |
| (=> (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 1348-1357 | |
| (=> (lender ?Loan ?Agent) (exists (?Lending) (and (instance ?Lending Lending) (agent ?Lending ?Agent)))) |
FinancialOntology.kif 1305-1310 |
| consequent |
|
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1268-1273 | |
| (=> (instance ?Loan PiggybankLoan) (equal (CardinalityFn (KappaFn ?Lender (lender ?Loan ?Lender))) 2)) |
FinancialOntology.kif 1602-1604 |
|
| (=> (property ?Commitment LoanCommitment) (exists (?Loan ?Lender ?Borrower) (and (instance ?Loan Loan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (partyToAgreement ?Commitment ?Lender) (partyToAgreement ?Commitment ?Borrower)))) |
FinancialOntology.kif 1487-1495 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners