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

appearance as argument number 2

(termFormat EnglishLanguage RowingMachine "ergometer")	Mid-level-ontology.kif 8268-8268
(termFormat EnglishLanguage RowingMachine "rowing machine")	Mid-level-ontology.kif 8267-8267

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 8270-8284