Swimming - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3012-3013
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11171-11172
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1775-1776
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 765-765
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3205-3205
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11168-11168	Swimming is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11169-11169	Swimming is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26897-26897	Scuba diving is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	Sports.kif 106-106	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1116-1116
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1449-1449
No TPTP formula. May not be expressible in strict first order.	french_format.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 326-326
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 329-329
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2478-2478
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 746-746
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 331-331
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 365-365
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 815-815
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 330-330

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11174-11181

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

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1579-1592	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, 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 the object and the process is hazardous to the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4726-4732	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 the physical

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