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

KB Term:			Term intersection

English Word: