TreeView Knowledge Base Browser - CVJoint

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ClippertonIsland

Sigma KEE - CVJoint

CVJoint

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2092-2095
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2090-2090	CVJoint e' uma sub-classe de MechanicalJoint

appearance as argument number 2

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

Cars.kif 2091-2091

antecedent

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

Cars.kif 2097-2116

Entidade e' uma instancia de Shaft Entidade e' uma instancia de Shaft Entidade e' igual a Entidade Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia causa Componente de Engenharia Componente de Engenharia e' uma instancia de CVJoint Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia e' conectado a Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia
Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia

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