Sigma KB Term Intersection

(=> (subclass ?X ?Y) (and (instance ?X SetOrClass) (instance ?Y SetOrClass)))	Merge.kif 136-140	If a set or class is a subclass of another set or class, then the set or class is an instance of set or class and the other set or class is an instance of set or class
(subclass SetOrClass Abstract)	Merge.kif 2036-2036	Set or class is a subclass of abstract
(subclass Set SetOrClass)	Merge.kif 2056-2056	Set is a subclass of set or class
(domain subclass 1 SetOrClass)	Merge.kif 130-130	The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass)	Merge.kif 131-131	The number 2 argument of subclass is an instance of set or class