| appearance as argument number 1 |
|
| (documentation borrower EnglishLanguage "(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan") | FinancialOntology.kif 1318-1318 | |
| (domain borrower 1 Loan) | FinancialOntology.kif 1316-1316 | 借款人 的 1 数量 是 贷款 的 instance |
| (domain borrower 2 CognitiveAgent) | FinancialOntology.kif 1317-1317 | 借款人 的 2 数量 是 有认知的主事 的 instance |
| (instance borrower BinaryPredicate) | FinancialOntology.kif 1315-1315 | 借款人 是 二元谓语 的 instance |
| (subrelation borrower partyToAgreement) | FinancialOntology.kif 1314-1314 | 借款人 是 协议的一方 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage borrower "%1 是 %2 的 borrower ") | domainEnglishFormat.kif 2906-2906 | |
| (format ChineseTraditionalLanguage borrower "%1 是 %2 的 borrower ") | domainEnglishFormat.kif 2905-2905 | |
| (format EnglishLanguage borrower "%1 is the borrower of %2") | domainEnglishFormat.kif 2904-2904 | |
| (termFormat ChineseLanguage borrower "借款人") | domainEnglishFormat.kif 11690-11690 | |
| (termFormat ChineseTraditionalLanguage borrower "借款人") | domainEnglishFormat.kif 11689-11689 | |
| (termFormat EnglishLanguage borrower "borrower") | domainEnglishFormat.kif 11688-11688 |
| 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 1277-1287 | |
| (=> (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 1289-1298 | |
| (=> (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 1427-1437 | |
| (=> (and (instance ?Loan BrokerLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1529-1533 | |
| (=> (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 1444-1459 | |
| (=> (and (instance ?Loan DayLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1589-1593 | |
| (=> (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 1465-1482 |
|
| (=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1320-1325 |
| 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 1465-1482 |
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1270-1275 | |
| (=> (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 1489-1497 |
|
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