(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 |