TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2296-2297
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2294-2294	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 2295-2295

antecedent

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

Cars.kif 2299-2314

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2717-2734	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 2299-2314	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