| (subclass Account Agreement) | ComputingBrands.kif 4539-4539 | Account は Agreement の subclass では %n |
| (subclass Account ContentBearingObject) | ComputingBrands.kif 4540-4540 | Account は コンテンツベアリングオブジェクト の subclass では %n |
| (subclass FinancialAccount Account) | ComputingBrands.kif 4541-4541 | FinancialAccount は Account の subclass では %n |
| (subclass UserAccount Account) | ComputingBrands.kif 4542-4542 | UserAccount は Account の subclass では %n |
|
|