Rowing![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Rowing EnglishLanguage "Any instance of WaterTransportation where the instrument is an Oar that is manually powered.") | Mid-level-ontology.kif 19308-19309 | |
(externalImage Rowing "http://articulatesoftware.com/SUMOpictures/recreation/ boating/ rowing.png") | pictureList.kif 699-699 | |
(subclass Rowing WaterTransportation) | Mid-level-ontology.kif 19307-19307 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Rowing "划船") | domainEnglishFormat.kif 50550-50550 | |
(termFormat ChineseTraditionalLanguage Rowing "划船") | domainEnglishFormat.kif 50549-50549 | |
(termFormat EnglishLanguage Rowing "rowing") | domainEnglishFormat.kif 50548-50548 |
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 9410-9424 | |
(=> (instance ?R Rowing) (exists (?O) (and (instance ?O Oar) (instrument ?R ?O)))) |
Mid-level-ontology.kif 19311-19316 |
consequent |
![]() |
(=> (instance ?O Oar) (hasPurpose ?O (exists (?R) (and (instance ?R Rowing) (instrument ?R ?O))))) |
Mid-level-ontology.kif 16838-16844 |
![]() |
![]() |