Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Swimming
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。") Merge.kif 11145-11146
(documentation Swimming EnglishLanguage "Any deliberate and controlled BodyMotion through water that is accomplished by an Organism.") Merge.kif 11143-11144
(externalImage Swimming "http://upload.wikimedia.org/wikipedia/en/8/82/FrontCrawlSwimming.JPG") pictureList.kif 3206-3206 "http://upload.wikimedia.org/wikipedia/en/8/82/FrontCrawlSwimming.JPG" is a URL depicting swimming
(externalImage Swimming "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_4/ swimming.png") pictureList.kif 765-765 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ travel/ US_Road_Signs/ recreation/ rec_4/ swimming.png" is a URL depicting swimming
(subclass Swimming BodyMotion) Merge.kif 11141-11141 Swimming is a subclass of body motion
(subclass Swimming IntentionalProcess) Merge.kif 11142-11142 Swimming is a subclass of intentional process

appearance as argument number 2
-------------------------


(subclass ScubaDiving Swimming) Mid-level-ontology.kif 25071-25071 Scuba diving is a subclass of swimming
(subclass Snorkeling Swimming) Sports.kif 106-106 Snorkeling is a subclass of swimming
(termFormat ChineseLanguage Swimming "游泳") chinese_format.kif 1116-1116 "游泳" is the printable form of swimming in ChineseLanguage
(termFormat EnglishLanguage Swimming "swimming") english_format.kif 1425-1425 "swimming" is the printable form of swimming in english language
(termFormat JapaneseLanguage Swimming "水泳") english_format.kif 1426-1426 "水泳" is the printable form of swimming in japanese language

antecedent
-------------------------


(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))
Merge.kif 11148-11155

consequent
-------------------------


(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 5048-5054


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners