(subclass SavingsAccount InterestBearingAccount) | FinancialOntology.kif 1028-1028 | SavingsAccount は InterestBearingAccount の subclass では %n |
(subclass MoneyMarket SavingsAccount) | FinancialOntology.kif 1054-1054 | MoneyMarket は SavingsAccount の subclass では %n |
(subclass TreasuryBill SavingsAccount) | FinancialOntology.kif 1067-1067 | TreasuryBill は SavingsAccount の subclass では %n |
(subclass CertificateOfDeposit SavingsAccount) | FinancialOntology.kif 1075-1075 | CertificateOfDeposit は SavingsAccount の subclass では %n |
(subclass TraditionalSavingsAccount SavingsAccount) | FinancialOntology.kif 1101-1101 | TraditionalSavingsAccount は SavingsAccount の subclass では %n |
(subclass IndividualRetirementAccount SavingsAccount) | FinancialOntology.kif 3384-3384 | IndividualRetirementAccount は SavingsAccount の subclass では %n |