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 11230-11231
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 3204-3204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11227-11227	Swimming is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11228-11228	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 27821-27821	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	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1449-1449	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	french_format.kif 794-794	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 326-326	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 329-329	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2478-2478	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 746-746	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 331-331	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 365-365	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 624-624	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 815-815	Snorkeling is a subclass of swimming
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 330-330	Snorkeling is a subclass of swimming

antecedent

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

Merge.kif 11233-11240

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 1561-1574	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 4721-4727	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