(subclass SetOrClass Abstract) | Merge.kif 2128-2128 | 同じセットまたはクラス は 抽象的な の subclass では %n |
(subclass Class SetOrClass) | Merge.kif 2136-2136 | クラス は 同じセットまたはクラス の subclass では %n |
(subclass Set SetOrClass) | Merge.kif 2148-2148 | セット は 同じセットまたはクラス の subclass では %n |