Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Swimming BodyMotion) Merge.kif 11420-11420 Swimming is a subclass of body motion
(subclass Swimming IntentionalProcess) Merge.kif 11421-11421 Swimming is a subclass of intentional process
(documentation Swimming EnglishLanguage "Any deliberate and controlled BodyMotion through water that is accomplished by an Organism.") Merge.kif 11423-11424 Swimming is a subclass of intentional process
(externalImage Swimming "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_4/ swimming.png") pictureList.kif 765-765 Swimming is a subclass of intentional process
(externalImage Swimming "http://upload.wikimedia.org/wikipedia/en/8/82/FrontCrawlSwimming.JPG") pictureList.kif 3204-3204 Swimming is a subclass of intentional process

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


(subclass ScubaDiving Swimming) Mid-level-ontology.kif 29491-29491 Scuba diving is a subclass of swimming
(subclass Snorkeling Swimming) Sports.kif 118-118 Snorkeling is a subclass of swimming
(termFormat EnglishLanguage Swimming "swimming") english_format.kif 1453-1453 Snorkeling is a subclass of swimming

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


(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))		 Merge.kif 11426-11433 If X is an instance of swimming and Y is an agent of X, then there exists Z such that Z is an instance of water area and Y is located at Z

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


(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))		 Mid-level-ontology.kif 5340-5346 If X is an instance of swimming pool, then X has the purpose there exists Y such that Y is an instance of swimming and Y is located at X
(=>
    (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 2888-2901 If X is an instance of heavy zone, Y is an instance of water area, and X is located at Y, then there exist Z, W such that Z is an instance of swimming, W is an instance of human, W is an agent of Z, Z is located at Y, and X is hazardous to W holds during the time of existence of X


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners