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 13462-13463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12137-12137
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12135-12135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12136-12136
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10330-10330
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13461-13461	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 13490-13490	Battle is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 596-596	Boxing is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23491-23491	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 23578-23578	Incendiary device attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23620-23620	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 15248-15248	Political revolution is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23719-23719	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 23778-23778	Vehicle attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13465-13465	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1209-1209	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1635-1635	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	french_format.kif 887-887	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 420-420	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 423-423	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2571-2571	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 425-425	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 459-459	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 718-718	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 908-908	War is a subclass of violent contest

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 13581-13588	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 689-706	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 11076-11084	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 13541-13546	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 13504-13509	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 13563-13568	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 16822-16824	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 24261-24266	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: