Sigma KB Term Intersection

(=> (instance ?CLASS Class) (subclass ?CLASS Entity))	Merge.kif 828-830	If a class is an instance of class, then the class is a subclass of entity
(=> (subclass ?X ?Y) (and (instance ?X Class) (instance ?Y Class)))	Merge.kif 137-141	If a class is a subclass of another class, then the class is an instance of class and the other class is an instance of class
(subclass Class SetOrClass)	Merge.kif 2136-2136	Class is a subclass of set or class
(domain subclass 1 Class)	Merge.kif 131-131	The number 1 argument of subclass is an instance of class
(domain subclass 2 Class)	Merge.kif 132-132	The number 2 argument of subclass is an instance of class