TreeView Knowledge Base Browser - SteeringColumn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SteeringColumn

SteeringColumn(steering column)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3990-3991
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3988-3988	Steering column is a subclass of shaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3992-3992	A steering column is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3993-3993	A automobile typically has a part steering column

appearance as argument number 2

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

Cars.kif 3989-3989

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3978-3986	If a physical is an instance of steering box, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of steering wheel and the other entity is an instance of steering column and the entity is connected to the other entity and the other entity is connected to the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4002-4020	If a physical is an instance of steering column lock, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of steering column and the third entity is an instance of automobile and the entity is a component of the third entity and the physical is a part of the entity and the other entity is an instance of protecting and the physical is an instrument for the other entity and locked is an attribute of the physical holds during the fourth entity decreases likelihood of there exists a fifth entity such that the fifth entity is an instance of stealing and the third entity is a patient of the fifth entity holds during the fourth entity

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