TreeView Knowledge Base Browser - contestParticipant

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

contestParticipant

Sigma KEE - contestParticipant

contestParticipant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19682-19686
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19680-19680	The number 1 argument of contest participant is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19681-19681	The number 2 argument of contest participant is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19678-19678	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19679-19679	contest participant is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19677-19677	contest participant is a subrelation of agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3098-3098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3097-3097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3096-3096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16956-16956
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16955-16955
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16954-16954

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19726-19730	If a contest is an instance of business competition and an agent participates in the contest, then the agent is an instance of corporation

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.	Hotel.kif 1522-1535	If an agent employs a cognitive agent and traveler accommodation is an attribute of the agent and tennis pro is an attribute of the cognitive agent and another cognitive agent is a guest at the agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the cognitive agent participates in the entity and the other cognitive agent participates in the entity and the entity is located at the other entity and the agent is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8427-8435	If a military unit is a hostile forces of another military unit, then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit is a part of the organization the government of the geopolitical area and the military unit is a part of the organization the government of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Music.kif 1007-1020	If a contest is an instance of music contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of making music and the other process is a subprocess of the contest and the other process is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 1027-1040	If a contest is an instance of singing contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of singing and the other process is a subprocess of the contest and the other process is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7539-7547	If a contest is an instance of team sport, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is an instance of sports team and the other agent is an instance of sports team and the agent is not equal to the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19692-19700	If a contest is an instance of civil war, then there exists a geopolitical area such that the geopolitical area is an instance of nation and for all another geopolitical area if the other geopolitical area participates in the contest, then the other geopolitical area is a geopolitical part of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is not equal to the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other 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