Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RowingMachine

Sigma KEE - RowingMachine
RowingMachine(ergometer)

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

appearance as argument number 2
-------------------------


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

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 8243-8257


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners