TreeView Knowledge Base Browser - ConsolidationLoan

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ConsolidationLoan

Sigma KEE - ConsolidationLoan

ConsolidationLoan(consolidation loan)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1520-1521
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1519-1519	Consolidation loan is a subclass of loan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16710-16710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16709-16709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16708-16708

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 1523-1532

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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