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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - accruedInterest

appearance as argument number 1

(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 2265-2266
(domain accruedInterest 1 Bond) FinancialOntology.kif 2263-2263 The number 1 argument of accrued interest is an instance of bond
(domain accruedInterest 2 Interest) FinancialOntology.kif 2264-2264 The number 2 argument of accrued interest is an instance of interest
(instance accruedInterest BinaryPredicate) FinancialOntology.kif 2262-2262 accrued interest is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage accruedInterest "%2 %n 是 %1 的 accrued 兴趣") domainEnglishFormat.kif 48-48
(format ChineseTraditionalLanguage accruedInterest "%2 %n 是 %1 的 accrued 興趣") domainEnglishFormat.kif 47-47
(format EnglishLanguage accruedInterest "%2 is %n the accrued interest of %1") domainEnglishFormat.kif 46-46
(termFormat ChineseLanguage accruedInterest "应计利息") domainEnglishFormat.kif 5289-5289
(termFormat ChineseTraditionalLanguage accruedInterest "應計利息") domainEnglishFormat.kif 5288-5288
(termFormat EnglishLanguage accruedInterest "accrued interest") domainEnglishFormat.kif 5287-5287

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