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 8456-8457
(subclass RowingMachine AerobicExerciseDevice)	Mid-level-ontology.kif 8455-8455	Ergometer is a subclass of aerobic exercise device

appearance as argument number 2

(termFormat EnglishLanguage RowingMachine "ergometer")	Mid-level-ontology.kif 8459-8459
(termFormat EnglishLanguage RowingMachine "rowing machine")	Mid-level-ontology.kif 8458-8458

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 8461-8475