borrower |
appearance as argument number 1 |
(documentation borrower EnglishLanguage "(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan") | FinancialOntology.kif 1302-1302 | |
(domain borrower 1 Loan) | FinancialOntology.kif 1300-1300 | 域 借款人, 1 and 貸款 |
(domain borrower 2 CognitiveAgent) | FinancialOntology.kif 1301-1301 | 域 借款人, 2 and CognitiveAgent |
(instance borrower BinaryPredicate) | FinancialOntology.kif 1299-1299 | 例 借款人 and BinaryPredicate |
(subrelation borrower partyToAgreement) | FinancialOntology.kif 1298-1298 | 子關係 借款人 and 協議的一方 |
appearance as argument number 2 |
(format ChineseLanguage borrower "%1 是 %2 的 borrower ") | domainEnglishFormat.kif 2910-2910 | |
(format ChineseTraditionalLanguage borrower "%1 是 %2 的 borrower ") | domainEnglishFormat.kif 2909-2909 | |
(format EnglishLanguage borrower "%1 is the borrower of %2") | domainEnglishFormat.kif 2908-2908 | |
(termFormat ChineseLanguage borrower "借款人") | domainEnglishFormat.kif 11681-11681 | |
(termFormat ChineseTraditionalLanguage borrower "借款人") | domainEnglishFormat.kif 11680-11680 | |
(termFormat EnglishLanguage borrower "borrower") | domainEnglishFormat.kif 11679-11679 |
antecedent |
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 1449-1466 |
|
(=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1254-1259 | |
(=> (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 |