(subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | DepositAccount est une sous-classe de FinancialAccount |
(subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 | CheckingAccount est une sous-classe de DepositAccount |
(subclass InvestmentAccount DepositAccount) | FinancialOntology.kif 1144-1144 | InvestmentAccount est une sous-classe de DepositAccount |