Swimming - Sigma Knowledge base Browser

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 11041-11042
(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 11038-11038	Swimming is a subclass of body motion
(subclass Swimming IntentionalProcess)	Merge.kif 11039-11039	Swimming is a subclass of intentional process

appearance as argument number 2

(subclass ScubaDiving Swimming)	Mid-level-ontology.kif 26245-26245	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
(termFormat EnglishLanguage Swimming "swimming")	english_format.kif 1449-1449

antecedent

(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))

Merge.kif 11044-11051

If a process is an instance of swimming and an agent is an agent of the process,
then there exists an object such that the object is an instance of water area and the agent is located at the object

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	If a process is an instance of heavy zone and an entity is an instance of water area and the process is located at 2, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at 2 and the process is n% hazardous to the agent holds during the time of existence of the process
(=> (instance ?P SwimmingPool) (hasPurpose ?P (exists (?S) (and (instance ?S Swimming) (eventLocated ?S ?P)))))	Mid-level-ontology.kif 4460-4466	If a physical is an instance of swimming pool, then the physical has the purpose there exists an entity such that the entity is an instance of swimming and the entity is located at 2

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

KB Term:			Term intersection

English Word: