TreeView Knowledge Base Browser - loanFeeAmount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - loanFeeAmount

loanFeeAmount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4159-4160
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4157-4157	The number 1 argument of loan fee amount is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4158-4158	The number 2 argument of loan fee amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4156-4156	loan fee amount is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1546-1546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34823-34823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34822-34822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34821-34821

antecedent

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

FinancialOntology.kif 4162-4166

If an interest is a loan fee amount of a loan and a time interval is an agreement period of the loan,
then the loan is interest earned the interest for 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