FanBelt - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FanBelt

FanBelt

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2690-2692
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2688-2688	FanBelt e' uma sub-classe de Drivebelt

appearance as argument number 2

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

Cars.kif 2689-2689

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2713-2727	Objeto e' uma instancia de FanBelt Objeto e' uma instancia de EngineFan Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo Objeto tem por fim Processo2 Processo2 e' uma instancia de Rotating Processo causa Processo2 Objeto e' um patient de Processo2
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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners