CVJoint - Sigma Knowledge base Browser

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 2109-2112
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2107-2107	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 2108-2108

antecedent

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

Cars.kif 2114-2133

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 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