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 |