Sigma KB Term Intersection

(=> (subclass ?X ?Y) (and (instance ?X SetOrClass) (instance ?Y SetOrClass)))	Merge.kif 150-154	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 2238-2238	Set or class is a subclass of abstract
(subclass Set SetOrClass)	Merge.kif 2263-2263	Set is a subclass of set or class
(domain subclass 1 SetOrClass)	Merge.kif 141-141	The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass)	Merge.kif 142-142	The number 2 argument of subclass is an instance of set or class