![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(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 3334-3336 | |
(externalImage VehicleWheel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Aprilia_disc_brake.jpg/ 200px-Aprilia_disc_brake.jpg") | pictureList.kif 1286-1286 | |
(subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3333-3333 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage VehicleWheel "车轮") | domainEnglishFormat.kif 61376-61376 | |
(termFormat ChineseTraditionalLanguage VehicleWheel "車輪") | domainEnglishFormat.kif 61375-61375 | |
(termFormat EnglishLanguage VehicleWheel "vehicle wheel") | domainEnglishFormat.kif 61374-61374 |
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 3503-3512 |
consequent |
![]() |
(=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4)) |
Transportation.kif 1954-1956 | |
(=> (instance ?M Motorcycle) (equipmentCount ?M VehicleWheel 2)) |
Transportation.kif 1881-1883 | |
(=> (instance ?T VehicleTire) (exists (?W) (and (instance ?W VehicleWheel) (part ?T ?W)))) |
Mid-level-ontology.kif 3400-3405 |
![]() |
![]() |