Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3490-3517	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para 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 3486-3486	ProtectiveEyewear e' uma sub-classe de SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3487-3487	ProtectiveEyewear e' uma sub-classe de WearableItem