(subclass SetOrClass Abstract) | Merge.kif 2139-2139 | Set or class is a subclass of abstract |
(subclass Class SetOrClass) | Merge.kif 2147-2147 | Class is a subclass of set or class |
(subclass Set SetOrClass) | Merge.kif 2159-2159 | Set is a subclass of set or class |
![]() |