Sigma KB Term Intersection

(=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS))	Merge.kif 194-199	If a relation is a subrelation of another relation and the other relation is an instance of a class and the class is a subclass of inheritable relation, then the relation is an instance of the class
(subrelation subField subclass)	Mid-level-ontology.kif 22956-22956	sub field is a subrelation of subclass