Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	Processus est une instance de affrontement violent objet est un patient de processus InjuryCausedFn processus est un attribut de objet ImpairedBodyPartFn Airway est un attribut de objet l'argument processus est une sous-classe de combustion entit� entit� est une instance de blesser entit� est situ� � entit� entit� est une instance de Face objet est un patient de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12593-12593	Combustion est une sous-classe de d�composition chemical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21808-21808	Fire est une sous-classe de combustion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21933-21933	IncendiaryDeviceAttack est une sous-classe de combustion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2405-2405	ForestFire est une sous-classe de combustion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2415-2415	GrassFire est une sous-classe de combustion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1350-1350	Backfire est une sous-classe de combustion