Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Rowing

 Sigma KEE - Rowing
Rowing(rowing)
pull, row, rowing, sculling

appearance as argument number 1
-------------------------


(subclass Rowing WaterTransportation) Mid-level-ontology.kif 19676-19676 Rowing is a subclass of water transportation
(documentation Rowing EnglishLanguage "Any instance of WaterTransportation where the instrument is an Oar that is manually powered.") Mid-level-ontology.kif 19677-19678 Rowing is a subclass of water transportation
(externalImage Rowing "http://articulatesoftware.com/SUMOpictures/recreation/ boating/ rowing.png") pictureList.kif 699-699 Rowing is a subclass of water transportation

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


(termFormat EnglishLanguage Rowing "rowing") domainEnglishFormat.kif 50541-50541
(termFormat ChineseTraditionalLanguage Rowing "划船") domainEnglishFormat.kif 50542-50542
(termFormat ChineseLanguage Rowing "划船") domainEnglishFormat.kif 50543-50543

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 9564-9578 If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T
(=>
    (instance ?R Rowing)
    (exists (?O)
        (and
            (instance ?O Oar)
            (instrument ?R ?O))))		 Mid-level-ontology.kif 19680-19685 If X is an instance of rowing, then there exists Y such that Y is an instance of oar and Y is an instrument for X

consequent
-------------------------


(=>
    (instance ?O Oar)
    (hasPurpose ?O
        (exists (?R)
            (and
                (instance ?R Rowing)
                (instrument ?R ?O)))))		 Mid-level-ontology.kif 17064-17070 If X is an instance of oar, then X has the purpose there exists Y such that Y is an instance of rowing and X is an instrument for Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners