lender |
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 1288-1289 | |
(domain lender 1 Loan) | FinancialOntology.kif 1286-1286 | Il numero 1 argomenti di lender è un istanza di Loan |
(domain lender 2 CognitiveAgent) | FinancialOntology.kif 1287-1287 | Il numero 2 argomenti di lender è un istanza di AgenteCognitivo |
(instance lender BinaryPredicate) | FinancialOntology.kif 1285-1285 | lender è un' istanza di PredicatoBinario |
(subrelation lender partyToAgreement) | FinancialOntology.kif 1284-1284 | lender è una sottorelazione di partyToAgreement |
appearance as argument number 2 |
(format ChineseLanguage lender "%2 lends %1 ") | domainEnglishFormat.kif 3738-3738 | |
(format ChineseTraditionalLanguage lender "%2 lends %1 ") | domainEnglishFormat.kif 3737-3737 | |
(format EnglishLanguage lender "%2 lends %1") | domainEnglishFormat.kif 3736-3736 | |
(termFormat ChineseLanguage lender "贷款人") | domainEnglishFormat.kif 33953-33953 | |
(termFormat ChineseTraditionalLanguage lender "貸款人") | domainEnglishFormat.kif 33952-33952 | |
(termFormat EnglishLanguage lender "lender") | domainEnglishFormat.kif 33951-33951 |
antecedent |
consequent |
(=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1254-1259 |
|
(=> (instance ?Loan PiggybankLoan) (equal (CardinalityFn (KappaFn ?Lender (lender ?Loan ?Lender))) 2)) |
FinancialOntology.kif 1588-1590 | |
(=> (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 1473-1481 |
|