Sigma KB Term Intersection

(=> (and (applicableRelation ?O ?R) (instance ?O ?OC) (domain ?R 1 ?DC)) (or (equal ?OC ?DC) (subclass ?OC ?DC)))	Mid-level-ontology.kif 33332-33339	If an object can be an argument to a relation and the object is an instance of the objectC and the number 1 argument of the relation is an instance of another class, then equal the objectC and the other class or the objectC is a subclass of the other class
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 215-221	If the number a positive integer argument of a relation is an instance of a class and the number the positive integer argument of the relation is an instance of another class, then the class is a subclass of the other class or the other class is a subclass of the class
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 18292-18296	If a relation is an instance of economic relation and the number 1 argument of the relation is an instance of a class, then the class is a subclass of geopolitical area
(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