(subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | DepositAccount は FinancialAccount の subclass では %n |
(subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 | CheckingAccount は DepositAccount の subclass では %n |
(subclass InvestmentAccount DepositAccount) | FinancialOntology.kif 1144-1144 | InvestmentAccount は DepositAccount の subclass では %n |