Sigma KB Term Intersection

Term Intersection : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Term 1: Term 2:

(=> (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 2035-2035	Set or class is a subclass of abstract
(subclass Set SetOrClass)	Merge.kif 2055-2055	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