ViolentContest - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3289-3290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13369-13370
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12148-12148
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12146-12146
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12147-12147
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10332-10332
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13368-13368	Violent contest is a subclass of contest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13397-13397	Battle is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 584-584	Boxing is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21901-21901	Chemical attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 325-325	Direct action is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 389-389	Direct action activity is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21987-21987	Incendiary device attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22029-22029	Knife attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 421-421	Military assault is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1644-1644	Violence is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13904-13904	Political revolution is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22128-22128	Stoning is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2092-2092	Terrorism is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22187-22187	Vehicle attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13372-13372	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1209-1209
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1635-1635
No TPTP formula. May not be expressible in strict first order.	french_format.kif 887-887
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 420-420
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 423-423
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2571-2571
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 425-425
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 459-459
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 908-908
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 424-424

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	If a process is an instance of violent contest and an object is an instrument for the process and the object is an instance of biochemical weapon, then the process is an instance of biochemical attack
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13488-13495	If a process is an instance of maneuver and another process is an instance of violent contest and the process is a subprocess of the other process, then the process is an instance of attack or the process is an instance of defensive maneuver
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9782	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13448-13453	If a process is an instance of attack, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13411-13416	If a process is an instance of battle, then there exists another process such that the other process is an instance of violent contest and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13470-13475	If a process is an instance of defensive maneuver, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16733-16735	If an object is an instance of military force, then the object is capable of doing violent contest as a agent
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	If an object is an instance of peacekeeping unit, then the object is capable of doing the class described by a symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22670-22675	If an agent is an instance of terrorist organization, then there exists a process such that the process is an instance of violent contest and the agent is an agent of the process

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: