| Swimming(swimming)
| | Australian_crawl, backstroke, bathe, belly-flop, break_water, breaststroke, butterfly, butterfly_stroke, crawl, dip, dive, dog_paddle, dolphin_kick, fin, float, floating, flutter_kick, frog_kick, front_crawl, jackknife, natation, paddle, plunge, school, scissors_kick, sidestroke, skin-dive, skin_diving, skinny-dip, swim, swimming, swimming_kick, swimming_stroke, thrash, treading_water |
| appearance as argument number 1 |
|
|
| (documentation Swimming ChineseLanguage "这是由 Organism 在水中完成的任何故意和有控制的 BodyMotion。") | chinese_format.kif 3012-3013 | |
| (documentation Swimming EnglishLanguage "Any deliberate and controlled BodyMotion through water that is accomplished by an Organism.") | Merge.kif 11205-11206 | |
| (documentation Swimming JapaneseLanguage "Organism によって遂行される水を通して BodyMotion を意図的に制御する。") | japanese_format.kif 1775-1776 | |
| (externalImage Swimming "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_4/ swimming.png") | pictureList.kif 765-765 | |
| (externalImage Swimming "http://upload.wikimedia.org/wikipedia/en/8/82/FrontCrawlSwimming.JPG") | pictureList.kif 3205-3205 | |
| (subclass Swimming BodyMotion) | Merge.kif 11202-11202 | Swimming is a subclass of body motion |
| (subclass Swimming IntentionalProcess) | Merge.kif 11203-11203 | Swimming is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11208-11215 |
|
| consequent |
|
|
|
|
|