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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Swimming
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 10695-10696
(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 10692-10692
(subclass Swimming IntentionalProcess) Merge.kif 10693-10693

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


(subclass ScubaDiving Swimming) Mid-level-ontology.kif 25283-25283
(subclass Snorkeling Swimming) Sports.kif 106-106
(termFormat ChineseLanguage Swimming "游泳") chinese_format.kif 1116-1116
(termFormat EnglishLanguage Swimming "swimming") english_format.kif 1454-1454

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


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

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 4440-4446


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 is open source software produced by Articulate Software and its partners