TreeView Knowledge Base Browser - InterestOnlyLoan

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InterestOnlyLoan

Sigma KEE - InterestOnlyLoan

InterestOnlyLoan(interest only loan)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1611-1613
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10069-10069
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1610-1610	Interest only loan is a subclass of loan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30415-30415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30414-30414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30413-30413

antecedent

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

FinancialOntology.kif 1615-1624

If a financial account is an instance of interest only loan and a time interval is an agreement period of the financial account and a currency measure is a principal amount of the financial account and the financial account is interest earned an interest for the time interval,
then the financial account amount due the currency measure for the end of the time interval and the financial account amount due the interest for another time interval and the end of the other time interval happens before the end of the time interval

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