| 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 17784-17785 | |
| (externalImage Rowing "http://articulatesoftware.com/SUMOpictures/recreation/ boating/ rowing.png") | pictureList.kif 699-699 | |
| (subclass Rowing WaterTransportation) | Mid-level-ontology.kif 17783-17783 | 子類 划船 and 水運 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Rowing "划船") | domainEnglishFormat.kif 50548-50548 | |
| (termFormat ChineseTraditionalLanguage Rowing "划船") | domainEnglishFormat.kif 50547-50547 | |
| (termFormat EnglishLanguage Rowing "rowing") | domainEnglishFormat.kif 50546-50546 |
| 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 |
|
| (=> (instance ?R Rowing) (exists (?O) (and (instance ?O Oar) (instrument ?R ?O)))) |
Mid-level-ontology.kif 17787-17792 |
| consequent |
|
|
| (=> (instance ?O Oar) (hasPurpose ?O (exists (?R) (and (instance ?R Rowing) (instrument ?R ?O))))) |
Mid-level-ontology.kif 15492-15498 |
|
|
|