(subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | DepositAccount è una sottoclasse di FinancialAccount |
(subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 | CheckingAccount è una sottoclasse di DepositAccount |
(subclass InvestmentAccount DepositAccount) | FinancialOntology.kif 1144-1144 | InvestmentAccount è una sottoclasse di DepositAccount |