Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13604-13604	Entendre est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13648-13648	Listening est une sous-classe de entendre