Sport - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3298-3298
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13517-13518
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6888-6888
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7966-7966
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7967-7967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7968-7968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7969-7969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7970-7970
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7971-7971
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13516-13516	Sport is a subclass of game

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 101-101	Archery is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 103-103	Badminton is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 784-784	Bodybuilding is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1116-1116	Bowling is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 597-597	Boxing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 238-238	Caving is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 107-107	Curling is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 109-109	Cycle racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 115-115	Diving is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1195-1195	Equitation is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 126-126	Fencing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 128-128	Figure skating is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 248-248	Fishing sport is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 901-901	Golf is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 612-612	Gymnastics is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 257-257	Horse racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 124-124	Ice skating is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 233-233	Kite surfing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 138-138	Lacrosse is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 145-145	Martial arts is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1350-1350	Olympic games is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8716-8716	Racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1331-1331	Racquetball is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 244-244	Rafting is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 508-508	Rock climbing is a subclass of sport

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1377-1384	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then there exists a contest such that the contest is an instance of sport and the agent participates in the contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1371-1375	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then the agent has the skill to do sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 93-97	If an agent is an attribute of an object and the agent is an instance of athlete, then the agent has the skill to do sport
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2364-2383	If arts and recreation tickets is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity and the other entity is an instance of ticket and the entity ends up at the third entity and the other entity has the purpose the object allows the third entity to perform task of the type there exist a fourth entity and a fifth entity such that the fourth entity is an instance of seeing and the third entity is an agent of the fourth entity and the fifth entity is a patient of the fourth entity and the fifth entity is an instance of performance or the fifth entity is an instance of sport
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8172-8178	If a physical is an instance of sports facility, then the physical has the purpose there exists an entity such that the entity is an instance of sport and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17056	If a physical is an instance of sports ground, then the physical has the purpose there exists an entity such that the entity is an instance of sport and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18457-18463	If a process is an instance of sport serve, then there exists another process such that the other process is an instance of sport and the process is a subprocess of the other process and the time of existence of the process starts the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8695-8700	If an object is an instance of sports team, then there exists a kind of process such that a kind of process is a subclass of sport and the object is capable of doing the kind of process as a agent

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: