| appearance as argument number 1 |
|
| (documentation borrower EnglishLanguage "(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan") | FinancialOntology.kif 1243-1243 | |
| (domain borrower 1 Loan) | FinancialOntology.kif 1241-1241 | 借款人 的 1 数量 是 贷款 的 instance |
| (domain borrower 2 CognitiveAgent) | FinancialOntology.kif 1242-1242 | 借款人 的 2 数量 是 有认知的主事 的 instance |
| (instance borrower BinaryPredicate) | FinancialOntology.kif 1240-1240 | 借款人 是 二元谓语 的 instance |
| (subrelation borrower partyToAgreement) | FinancialOntology.kif 1239-1239 | 借款人 是 协议的一方 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage borrower "%1 是 %2 的 borrower ") | domainEnglishFormat.kif 2907-2907 | |
| (format ChineseTraditionalLanguage borrower "%1 是 %2 的 borrower ") | domainEnglishFormat.kif 2906-2906 | |
| (format EnglishLanguage borrower "%1 is the borrower of %2") | domainEnglishFormat.kif 2905-2905 | |
| (termFormat ChineseLanguage borrower "借款人") | domainEnglishFormat.kif 11623-11623 | |
| (termFormat ChineseTraditionalLanguage borrower "借款人") | domainEnglishFormat.kif 11622-11622 | |
| (termFormat EnglishLanguage borrower "borrower") | domainEnglishFormat.kif 11621-11621 |
| 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 1202-1212 | |
| (=> (and (instance ?Account Loan) (borrower ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1214-1223 | |
| (=> (and (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation (KappaFn ?Payment (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))) ?Agent)) |
FinancialOntology.kif 1352-1362 | |
| (=> (and (instance ?Loan BrokerLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1454-1458 | |
| (=> (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 1369-1384 | |
| (=> (and (instance ?Loan DayLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1515-1519 | |
| (=> (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 1390-1407 |
|
| (=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1245-1250 |
| 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 1390-1407 |
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1195-1200 | |
| (=> (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 1414-1422 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners