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.	Mid-level-ontology.kif 11717-11717	Airway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11723-11723	Throat is a subclass of airway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11735-11735	Trachea is a subclass of airway