Sigma KB Term Intersection

(=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS))	Merge.kif 200-205	Wenn Relation ist eine teilrelation von Relation und Relation ist ein fall von Class %n{nicht} und Class ist eine teilkategorie von InheritableRelation, dann Relation ist ein fall von Class %n{nicht}
(subrelation subField subclass)	Mid-level-ontology.kif 21339-21339	subField ist eine teilrelation von subclass
(subrelation subset subclass)	Merge.kif 5391-5391	subset ist eine teilrelation von subclass