(subclass InterestBearingAccount FinancialAccount) | FinancialOntology.kif 968-968 | InterestBearingAccount は FinancialAccount の subclass では %n |
(subclass FixedRateAccount InterestBearingAccount) | FinancialOntology.kif 976-976 | FixedRateAccount は InterestBearingAccount の subclass では %n |
(subclass AdjustableRateAccount InterestBearingAccount) | FinancialOntology.kif 986-986 | AdjustableRateAccount は InterestBearingAccount の subclass では %n |
(subclass SavingsAccount InterestBearingAccount) | FinancialOntology.kif 1028-1028 | SavingsAccount は InterestBearingAccount の subclass では %n |