Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ConsolidationLoan
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ConsolidationLoan Loan) | FinancialOntology.kif 1561-1561 | Consolidation loan is a subclass of loan |
| (documentation ConsolidationLoan EnglishLanguage "The replacement of multiple loans with a single loan, often with a lower monthly payment and a longer repayment period.") | FinancialOntology.kif 1562-1563 | Consolidation loan is a subclass of loan |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Loan ConsolidationLoan) (exists (?Loan1 ?Loan2 ?Payment1 ?Payment2) (and (instance ?Loan1 Loan) (instance ?Loan2 Loan) (destination ?Payment1 (CurrencyFn ?Loan1)) (destination ?Payment2 (CurrencyFn ?Loan2)) (origin ?Payment1 (CurrencyFn ?Loan)) (origin ?Payment2 (CurrencyFn ?Loan))))) |
FinancialOntology.kif 1565-1574 | If X is an instance of consolidation loan, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of loan (3) Z is an instance of loan (4) W ends up at the currency of Y (5) V ends up at the currency of Z (6) W originates at the currency of X (7) V originates at the currency of X |
|