| Swimming(nager)
| |
| 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 11264-11265 | |
| (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 3204-3204 | |
| (subclass Swimming BodyMotion) | Merge.kif 11261-11261 | Nager est une sous-classe de mouvement du corps |
| (subclass Swimming IntentionalProcess) | Merge.kif 11262-11262 | Nager est une sous-classe de processus intentionnel |
| appearance as argument number 2 |
|
|
| (subclass ScubaDiving Swimming) | Mid-level-ontology.kif 28542-28542 | ScubaDiving est une sous-classe de nager |
| (subclass Snorkeling Swimming) | Sports.kif 118-118 | Snorkeling est une sous-classe de nager |
| (termFormat ChineseLanguage Swimming "游泳") | chinese_format.kif 1116-1116 | Snorkeling est une sous-classe de nager |
| (termFormat EnglishLanguage Swimming "swimming") | english_format.kif 1449-1449 | Snorkeling est une sous-classe de nager |
| (termFormat FrenchLanguage Swimming "nager") | french_format.kif 794-794 | Snorkeling est une sous-classe de nager |
| (termFormat Hindi Swimming "tairanaa") | terms-hindi.txt 326-326 | Snorkeling est une sous-classe de nager |
| (termFormat ItalianLanguage Swimming "Nuotare") | terms-it.txt 329-329 | Snorkeling est une sous-classe de nager |
| (termFormat JapaneseLanguage Swimming "水泳") | japanese_format.kif 2478-2478 | Snorkeling est une sous-classe de nager |
| (termFormat PortugueseLanguage Swimming "Nadar") | portuguese_format.kif 746-746 | Snorkeling est une sous-classe de nager |
| (termFormat cb Swimming "paglangngoy") | terms-cb.txt 331-331 | Snorkeling est une sous-classe de nager |
| (termFormat cz Swimming "swimming") | terms-cz.txt 365-365 | Snorkeling est une sous-classe de nager |
| (termFormat de Swimming "Schwimmen") | terms-de.txt 624-624 | Snorkeling est une sous-classe de nager |
| (termFormat ro Swimming "înot") | relations-ro.kif 815-815 | Snorkeling est une sous-classe de nager |
| (termFormat tg Swimming "lumalangoy") | terms-tg.txt 330-330 | Snorkeling est une sous-classe de nager |
| antecedent |
|
|
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11267-11274 |
|
| 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 1561-1574 |
|
| (=> (instance ?P SwimmingPool) (hasPurpose ?P (exists (?S) (and (instance ?S Swimming) (eventLocated ?S ?P))))) |
Mid-level-ontology.kif 5208-5214 |
|
|
|