Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   InterestOnlyLoan
|
|
|
| appearance as argument number 1 |
|
|
| (subclass InterestOnlyLoan Loan) | FinancialOntology.kif 1655-1655 | Interest only loan is a subclass of loan |
| (documentation InterestOnlyLoan EnglishLanguage "A non_amortized loan in which interest is due at regular intervals until maturity, when the full principal on the loan is due.") | FinancialOntology.kif 1656-1658 | Interest only loan is a subclass of loan |
| (externalImage InterestOnlyLoan "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IE_Real_SandP_Price_Earnings_Ratio%2C_Interest_1871-2006.png") | pictureList.kif 10067-10067 | Interest only loan is a subclass of loan |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Loan InterestOnlyLoan) (agreementPeriod ?Loan ?Period) (principalAmount ?Loan ?Principal) (interestEarned ?Loan ?Interest ?Period)) (and (amountDue ?Loan ?Principal (EndFn ?Period)) (amountDue ?Loan ?Interest ?Date) (before (EndFn ?Date) (EndFn ?Period)))) |
FinancialOntology.kif 1660-1669 | If X is an instance of interest only loan, Y is an agreement period of X, Z is a principal amount of X, and X is interest earned W for Y, then X amount due Z for the end of Y, X amount due W for V, and the end of V happens before the end of Y |
|
