|
|
   Swimming
|
|
|
| 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 11041-11042 | |
| (externalImage Swimming "http://upload.wikimedia.org/wikipedia/en/8/82/FrontCrawlSwimming.JPG") | pictureList.kif 3206-3206 | |
| (externalImage Swimming "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_4/ swimming.png") | pictureList.kif 765-765 | |
| (subclass Swimming BodyMotion) | Merge.kif 11038-11038 | |
| (subclass Swimming IntentionalProcess) | Merge.kif 11039-11039 |
| appearance as argument number 2 |
|
|
| (subclass ScubaDiving Swimming) | Mid-level-ontology.kif 26245-26245 | |
| (subclass Snorkeling Swimming) | Sports.kif 106-106 | |
| (termFormat ChineseLanguage Swimming "游泳") | chinese_format.kif 1116-1116 | |
| (termFormat EnglishLanguage Swimming "swimming") | english_format.kif 1449-1449 |
| antecedent |
|
|
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11044-11051 |
| consequent |
|
|
| (=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A))))) |
Weather.kif 1578-1591 | |
| (=> (instance ?P SwimmingPool) (hasPurpose ?P (exists (?S) (and (instance ?S Swimming) (eventLocated ?S ?P))))) |
Mid-level-ontology.kif 4460-4466 |
|
|
|
