Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  loanInterest

Sigma KEE - loanInterest
loanInterest

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3917-3917 The number 1 argument of loan interest is an instance of loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3918-3918 The number 2 argument of loan interest is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3916-3916 loan interest is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1555-1555
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1554-1554
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1553-1553
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34835-34835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34834-34834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34833-34833

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3920-3926 There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan


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