Sigma KB Term Intersection

(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 351-357	関数が返す値はクラスの subclasses では %n 関数が返す値はクラスの subclasses では %n クラスはクラスの subclass では %n クラスはクラスの subclass では %n
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 339-343	関数が返す値はクラスの subclasses では %n 関数(@ROW) はクラスと equal では %n クラスはクラスの subclass では %n