ConsolidationLoan - Sigma Knowledge base Browser

appearance as argument number 1

(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 1534-1535
(subclass ConsolidationLoan Loan)	FinancialOntology.kif 1533-1533	Consolidation loan is a subclass of loan

appearance as argument number 2

(termFormat ChineseLanguage ConsolidationLoan "合并贷款")	domainEnglishFormat.kif 16725-16725
(termFormat ChineseTraditionalLanguage ConsolidationLoan "合併貸款")	domainEnglishFormat.kif 16724-16724
(termFormat EnglishLanguage ConsolidationLoan "consolidation loan")	domainEnglishFormat.kif 16723-16723

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 1537-1546

If a financial account is an instance of consolidation loan,
then there exist the financial account1, the financial account2,, , a process and another process such that the financial account1 is an instance of loan and the financial account2 is an instance of loan and the process ends up at the currency of the financial account1 and the other process ends up at the currency of the financial account2 and the process originates at the currency of the financial account and the other process originates at the currency of the financial account

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

KB Term:			Term intersection

English Word: