Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3374-3402	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3404-3404	SafetyHarness e' uma sub-classe de SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3405-3405	SafetyHarness e' uma sub-classe de WearableItem