InterestBearingAccount - Sigma Knowledge base Browser

appearance as argument number 1

(subclass InterestBearingAccount FinancialAccount)	FinancialOntology.kif 990-990	Interest bearing account is a subclass of financial account
(documentation InterestBearingAccount EnglishLanguage "FinancialAccounts that have a fixed or adjustable interest rate.")	FinancialOntology.kif 991-991	Interest bearing account is a subclass of financial account
(externalImage InterestBearingAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ IE_Real_SandP_Price_Earnings_Ratio%2C_Interest_1871-2006.png")	pictureList.kif 10066-10066	Interest bearing account is a subclass of financial account

appearance as argument number 2

(subclass FixedRateAccount InterestBearingAccount)	FinancialOntology.kif 998-998	Fixed rate account is a subclass of interest bearing account
(subclass AdjustableRateAccount InterestBearingAccount)	FinancialOntology.kif 1008-1008	Adjustable rate account is a subclass of interest bearing account
(subclass SavingsAccount InterestBearingAccount)	FinancialOntology.kif 1053-1053	Savings account is a subclass of interest bearing account
(termFormat EnglishLanguage InterestBearingAccount "interest bearing account")	domainEnglishFormat.kif 30405-30405	Savings account is a subclass of interest bearing account
(termFormat ChineseTraditionalLanguage InterestBearingAccount "計息賬戶")	domainEnglishFormat.kif 30406-30406	Savings account is a subclass of interest bearing account
(termFormat ChineseLanguage InterestBearingAccount "计息账户")	domainEnglishFormat.kif 30407-30407	Savings account is a subclass of interest bearing account

antecedent

(=>
    (instance ?Account InterestBearingAccount)
    (exists (?Rate ?Period)
        (interestRatePerPeriod ?Account ?Rate ?Period)))

If X is an instance of interest bearing account, then there exist Y and Z such that X is interest rate per period Y for Z