VehicleWheel - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VehicleWheel Wheel)	Mid-level-ontology.kif 3980-3980	Vehicle wheel is a subclass of wheel
(documentation VehicleWheel EnglishLanguage "VehicleWheel is a class of cylindrical Devices used to move a RoadVehicle along a road, running either directly on the wheel rims or on tires attached to the wheel rims.")	Mid-level-ontology.kif 3981-3983	Vehicle wheel is a subclass of wheel
(defaultMinimumHeight VehicleWheel (MeasureFn 0.1 Inch))	DimensioningAmenities.kif 911-911	The minimum expected height of vehicle wheel is 0.1 inch(s)
(defaultMaximumHeight VehicleWheel (MeasureFn 36 Inch))	DimensioningAmenities.kif 912-912	The maximum expected height of vehicle wheel is 36 inch(s)
(defaultMinimumWidth VehicleWheel (MeasureFn 0.5 Inch))	DimensioningAmenities.kif 913-913	The minimum expected width of vehicle wheel is 0.5 inch(s)
(defaultMaximumWidth VehicleWheel (MeasureFn 80 Inch))	DimensioningAmenities.kif 914-914	The maximum expected width of vehicle wheel is 80 inch(s)
(defaultMinimumLength VehicleWheel (MeasureFn 0.5 Inch))	DimensioningAmenities.kif 915-915	The minimum expected length of vehicle wheel is 0.5 inch(s)
(defaultMaximumLength VehicleWheel (MeasureFn 80 Inch))	DimensioningAmenities.kif 916-916	The maximum expected length of vehicle wheel is 80 inch(s)
(defaultMinimumMeasure VehicleWheel (MeasureFn 20 Gram))	DimensioningAmenities.kif 917-917	The minimum expected value of vehicle wheel is 20 gram(s)
(defaultMaximumMeasure VehicleWheel (MeasureFn 0.5 TonMass))	DimensioningAmenities.kif 918-918	The maximum expected value of vehicle wheel is 0.5 ton mass(s)
(externalImage VehicleWheel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Aprilia_disc_brake.jpg/ 200px_Aprilia_disc_brake.jpg")	pictureList.kif 1285-1285	The maximum expected value of vehicle wheel is 0.5 ton mass(s)

appearance as argument number 2

(instance ContinuousTrack VehicleWheel)	Military.kif 181-181	Continuous track is an instance of vehicle wheel
(termFormat EnglishLanguage VehicleWheel "vehicle wheel")	domainEnglishFormat.kif 61407-61407	Continuous track is an instance of vehicle wheel
(termFormat ChineseTraditionalLanguage VehicleWheel "車輪")	domainEnglishFormat.kif 61408-61408	Continuous track is an instance of vehicle wheel
(termFormat ChineseLanguage VehicleWheel "车轮")	domainEnglishFormat.kif 61409-61409	Continuous track is an instance of vehicle wheel

antecedent

(=>
    (and
        (instance ?W VehicleWheel)
        (instance ?V RoadVehicle)
        (part ?W ?V))
    (exists (?A)
        (and
            (instance ?A Axle)
            (component ?A ?V)
            (connected ?W ?A))))

Mid-level-ontology.kif 4165-4174

If X is an instance of vehicle wheel, Y is an instance of road vehicle, and X is a part of Y, then there exists Z such that Z is an instance of axle, Z is a component of Y, and X is connected to Z

consequent

(=> (instance ?T VehicleTire) (exists (?W) (and (instance ?W VehicleWheel) (part ?T ?W))))	Mid-level-ontology.kif 4062-4067	If X is an instance of vehicle tire, then there exists Y such that Y is an instance of vehicle wheel and X is a part of Y
(=> (instance ?M Motorcycle) (equipmentCount ?M VehicleWheel 2))	Transportation.kif 2036-2038	If X is an instance of motorcycle, then X equipment count vehicle wheel for 2
(=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4))	Transportation.kif 2114-2116	If X is an instance of automobile, then X equipment count vehicle wheel for 4

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners