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.	Mid-level-ontology.kif 11716-11716	Airway est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11722-11722	Throat est une sous-classe de Airway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11734-11734	Trachea est une sous-classe de Airway