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 8237-8238
(subclass RowingMachine AerobicExerciseDevice)	Mid-level-ontology.kif 8236-8236	RowingMachine ist eine teilkategorie von AerobicExerciseDevice

appearance as argument number 2

(termFormat EnglishLanguage RowingMachine "ergometer")	Mid-level-ontology.kif 8240-8240
(termFormat EnglishLanguage RowingMachine "rowing machine")	Mid-level-ontology.kif 8239-8239

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 8242-8256

Wenn Process ist ein fall von RecreationOrExercise %n{nicht} und ** ProcessM ist ein instrument fuer ** Process %n{nicht} und ** ProcessM ist ein fall von RowingMachine %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht} und ** ProcessOW ist ein fall von Rowing %n{nicht} und ** ProcessMOT ist ein subProzess von ** Process und Class ist eine teilkategorie von BodyMotion und ** ProcessMOT ist ein fall von ** Class %n{nicht},
dann es gibt ** ProcessOWMOT um ** ProcessOWMOT ist ein fall von ** Class %n{nicht} und ** ProcessOWMOT ist ein subProzess von ** Process und ** ProcessOWMOT ist der agent von ** AutonomousAgent %n{nicht}