TreeView Knowledge Base Browser - Driveshaft

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Driveshaft

Driveshaft

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2304-2306
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2302-2302	Driveshaft e' uma sub-classe de Shaft

appearance as argument number 2

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

Cars.kif 2303-2303

antecedent

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

Cars.kif 2308-2320

Fisico e' uma instancia de Driveshaft
Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Wheel Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade

consequent

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

Cars.kif 2329-2363

Fisico e' uma instancia de AutomobileTransmission
Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Driveshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' conectado a Fisico Entidade e' conectado a Fisico Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade causa Entidade Entidade e' igual a Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade Entidade e' igual a Entidade

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

Show without tree

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