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 12593-12593	Burning is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21808-21808	Fire is a subclass of burning
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21933-21933	Incendiary device attack is a subclass of burning
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2405-2405	Forest fire is a subclass of burning
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2415-2415	Grass fire is a subclass of burning
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1350-1350	Backfire is a subclass of burning