Pulley - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2273-2274
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2271-2271	Pulley e' uma sub-classe de DriveComponent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2272-2272

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2276-2291

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2694-2711	Fisico e' uma instancia de FanBelt Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Pulley Entidade e' uma instancia de Pulley Entidade e' igual a Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' conectado a Entidade Entidade e' conectado a Fisico Fisico e' conectado a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2276-2291	Fisico e' uma instancia de Pulley Fisico tem por fim Fisico2 Entidade, Entidade and Entidade Fisico2 e' uma instancia de Pulley Fisico e' igual a Fisico2 Entidade e' uma instancia de Drivebelt Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Fisico e' conectado a Entidade Fisico2 e' conectado a Entidade Fisico e' um patient de Entidade Fisico2 e' um patient de Entidade Entidade causa Entidade