Sigma KB Term Intersection

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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13322-13322	Violent contest is a subclass of 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.	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.	MilitaryProcesses.kif 421-421	Military assault 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 13877-13877	Political revolution is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21849-21849	Chemical attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21935-21935	Incendiary device attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21977-21977	Knife attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22076-22076	Stoning is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22135-22135	Vehicle attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13326-13326	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13351-13351	Battle 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

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