(subclass InterestBearingAccount FinancialAccount) | FinancialOntology.kif 968-968 | Interest bearing account is a subclass of financial account |
(subclass FixedRateAccount InterestBearingAccount) | FinancialOntology.kif 976-976 | Fixed rate account is a subclass of interest bearing account |
(subclass AdjustableRateAccount InterestBearingAccount) | FinancialOntology.kif 986-986 | Adjustable rate account is a subclass of interest bearing account |
(subclass SavingsAccount InterestBearingAccount) | FinancialOntology.kif 1028-1028 | Savings account is a subclass of interest bearing account |