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 13344-13344	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 13876-13876	Political revolution is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21848-21848	Chemical attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21934-21934	Incendiary device attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21976-21976	Knife attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22075-22075	Stoning is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22134-22134	Vehicle attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13348-13348	War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	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