TreeView 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 13378-13379
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6889-6889
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.	pictureList.kif 7972-7972
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13377-13377	Sport is a subclass of game

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 89-89	Archery is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 91-91	Badminton is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 772-772	Bodybuilding is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1102-1102	Bowling is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 585-585	Boxing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 226-226	Caving is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 95-95	Curling is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 97-97	Cycle racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 103-103	Diving is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1181-1181	Equitation is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 114-114	Fencing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 116-116	Figure skating is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 236-236	Fishing sport is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 889-889	Golf is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 600-600	Gymnastics is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 245-245	Horse racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 112-112	Ice skating is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 221-221	Kite surfing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 126-126	Lacrosse is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 133-133	Martial arts is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1336-1336	Olympic games is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7549-7549	Racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1317-1317	Racquetball is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 232-232	Rafting is a subclass of sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 496-496	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 1363-1370	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 1357-1361	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.	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 2353-2372	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 7011-7017	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 15677-15683	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 17070-17076	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 7528-7533	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 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

KB Term:			Term intersection

English Word: