(subclass Account Agreement) | ComputingBrands.kif 4539-4539 | |
(subclass Account ContentBearingObject) | ComputingBrands.kif 4540-4540 | |
(subclass FinancialAccount Account) | ComputingBrands.kif 4541-4541 | |
(subclass UserAccount Account) | ComputingBrands.kif 4542-4542 |