TreeView Knowledge Base Browser - CVJoint

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CVJoint

CVJoint(C.V. joint)

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	C.V. joint is a subclass of mechanical joint

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

If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component,
then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component

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