(subclass Account Agreement) | ComputingBrands.kif 4539-4539 | Account is a subclass of agreement |
(subclass Account ContentBearingObject) | ComputingBrands.kif 4540-4540 | Account is a subclass of content bearing object |
(subclass FinancialAccount Account) | ComputingBrands.kif 4541-4541 | Financial account is a subclass of account |
(subclass UserAccount Account) | ComputingBrands.kif 4542-4542 | User account is a subclass of account |