RowingMachine - Sigma Knowledge base Browser

appearance as argument number 1

(documentation RowingMachine EnglishLanguage "An stationary Machine that mimics the motion of Rowing for the purpose of exercise.")	Mid-level-ontology.kif 9011-9012
(subclass RowingMachine AerobicExerciseDevice)	Mid-level-ontology.kif 9010-9010	Ergometer is a subclass of aerobic exercise device

appearance as argument number 2

(termFormat EnglishLanguage RowingMachine "ergometer")	Mid-level-ontology.kif 9014-9014
(termFormat EnglishLanguage RowingMachine "rowing machine")	Mid-level-ontology.kif 9013-9013

antecedent

(=>
    (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 9016-9030