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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Swimming

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 11205-11206
(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 3205-3205
(subclass Swimming BodyMotion) Merge.kif 11202-11202 游泳身体运动subclass
(subclass Swimming IntentionalProcess) Merge.kif 11203-11203 游泳有意图过程subclass

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


(subclass ScubaDiving Swimming) Mid-level-ontology.kif 26930-26930 ScubaDiving游泳subclass
(subclass Snorkeling Swimming) Sports.kif 106-106 Snorkeling游泳subclass
(termFormat ChineseLanguage Swimming "游泳") chinese_format.kif 1116-1116
(termFormat EnglishLanguage Swimming "swimming") english_format.kif 1449-1449
(termFormat FrenchLanguage Swimming "nager") french_format.kif 794-794
(termFormat Hindi Swimming "tairanaa") terms-hindi.txt 326-326
(termFormat ItalianLanguage Swimming "Nuotare") terms-it.txt 329-329
(termFormat JapaneseLanguage Swimming "水泳") japanese_format.kif 2478-2478
(termFormat PortugueseLanguage Swimming "Nadar") portuguese_format.kif 746-746
(termFormat cb Swimming "paglangngoy") terms-cb.txt 331-331
(termFormat cz Swimming "swimming") terms-cz.txt 365-365
(termFormat ro Swimming "înot") relations-ro.kif 815-815
(termFormat tg Swimming "lumalangoy") terms-tg.txt 330-330

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


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

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 1562-1575
(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 4721-4727


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

Show without tree


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