Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3560	WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3534-3534	Respirator e' uma sub-classe de SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3535-3535	Respirator e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3536-3536	Respirator e' uma sub-classe de Mask
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4868-4868	N95Mask e' uma sub-classe de Respirator