TreeView Knowledge Base Browser - VehicleWheel

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VehicleWheel

VehicleWheel(vehicle wheel)

bicycle_wheel, ratchet_wheel, roller, wheel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3362-3364
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1285-1285
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3361-3361	Vehicle wheel is a subclass of wheel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61408-61408
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61407-61407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61406-61406

antecedent

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

Mid-level-ontology.kif 3531-3540

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

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1954-1956	If an object is an instance of automobile, then the object equipment count vehicle wheel for 4
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1881-1883	If an object is an instance of motorcycle, then the object equipment count vehicle wheel for 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3428-3433	If an object is an instance of vehicle tire, then there exists another object such that the other object is an instance of vehicle wheel and the object is a part of the other object

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