TreeView Knowledge Base Browser - Axle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Axle

Sigma KEE - Axle

Axle(axle)

axle, dead_axle, driving_axle, live_axle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3536-3537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1041-1041
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3535-3535	Axle is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9420-9420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9419-9419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9418-9418

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3538-3547	If an object is an instance of vehicle wheel and a corpuscular object is an instance of road vehicle and the object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is an instance of axle and the other corpuscular object is a component of the corpuscular object and the object is connected to the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1958-1960	If an object is an instance of automobile, then the object equipment count axle for 2

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