Sigma KB Term Intersection

(=> (and (instance ?R RecreationOrExercise) (instrument ?R ?RM) (instance ?RM RowingMachine) (experiencer ?R ?H) (instance ?ROW Rowing) (subProcess ?RMOT ?R) (subclass ?C BodyMotion) (instance ?RMOT ?C)) (exists (?ROWMOT) (and (instance ?ROWMOT ?C) (subProcess ?ROWMOT ?R) (agent ?ROWMOT ?H))))	Mid-level-ontology.kif 8243-8257	如果过程是娱乐或锻炼的 instance 和那个过程M 是导致那个过程的 instrument 和那个过程M 是 RowingMachine 的 instance 和施事体经历了那个过程和那个过程OW 是划船的 instance 和那个过程MOT%n是那个过程的subProcess 和类是身体运动的 subclass 和那个过程MOT 是那个类的 instance，然后有存在那个过程OWMOT 这样那个过程OWMOT 是那个类的 instance 和那个过程OWMOT%n是那个过程的subProcess 和那个施事体是那个过程OWMOT 的 agent
(subclass RowingMachine AerobicExerciseDevice)	Mid-level-ontology.kif 8237-8237	RowingMachine 是有氧运动装置的 subclass