Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| accruedInterest |
| appearance as argument number 1 |
|
| (instance accruedInterest BinaryPredicate) | FinancialOntology.kif 2333-2333 | accrued interest is an instance of binary predicate |
| (domain accruedInterest 1 Bond) | FinancialOntology.kif 2334-2334 | The number 1 argument of accrued interest is an instance of bond |
| (domain accruedInterest 2 Interest) | FinancialOntology.kif 2335-2335 | The number 2 argument of accrued interest is an instance of interest |
| (documentation accruedInterest EnglishLanguage "The accumulated coupon interest, paid to the seller of a bond by the buyer unless the bond is in default.") | FinancialOntology.kif 2336-2337 | The number 2 argument of accrued interest is an instance of interest |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage accruedInterest "%2 is %n the accrued interest of %1") | domainEnglishFormat.kif 46-46 | |
| (format ChineseTraditionalLanguage accruedInterest "%2 %n 是 %1 的 accrued 興趣") | domainEnglishFormat.kif 47-47 | |
| (format ChineseLanguage accruedInterest "%2 %n 是 %1 的 accrued 兴趣") | domainEnglishFormat.kif 48-48 | |
| (termFormat EnglishLanguage accruedInterest "accrued interest") | domainEnglishFormat.kif 5287-5287 | |
| (termFormat ChineseTraditionalLanguage accruedInterest "應計利息") | domainEnglishFormat.kif 5288-5288 | |
| (termFormat ChineseLanguage accruedInterest "应计利息") | domainEnglishFormat.kif 5289-5289 |
|