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 17756-17757 | |
(externalImage Rowing "http://articulatesoftware.com/SUMOpictures/recreation/ boating/ rowing.png") | pictureList.kif 699-699 | |
(subclass Rowing WaterTransportation) | Mid-level-ontology.kif 17755-17755 | Rowing is a subclass of water transportation |
appearance as argument number 2 |
(termFormat ChineseLanguage Rowing "划船") | domainEnglishFormat.kif 50546-50546 | |
(termFormat ChineseTraditionalLanguage Rowing "划船") | domainEnglishFormat.kif 50545-50545 | |
(termFormat EnglishLanguage Rowing "rowing") | domainEnglishFormat.kif 50544-50544 |
antecedent |
consequent |
(=> (instance ?O Oar) (hasPurpose ?O (exists (?R) (and (instance ?R Rowing) (instrument ?R ?O))))) |
Mid-level-ontology.kif 15464-15470 |
|