| VehicleWheel
| |
| 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 3812-3814 | |
| (externalImage VehicleWheel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Aprilia_disc_brake.jpg/ 200px_Aprilia_disc_brake.jpg") | pictureList.kif 1285-1285 | |
| (subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3811-3811 | VehicleWheel est une sous-classe de Wheel |
| appearance as argument number 2 |
|
|
| (instance ContinuousTrack VehicleWheel) | Military.kif 179-179 | ContinuousTrack est une instance de VehicleWheel |
| (termFormat ChineseLanguage VehicleWheel "车轮") | domainEnglishFormat.kif 61400-61400 | ContinuousTrack est une instance de VehicleWheel |
| (termFormat ChineseTraditionalLanguage VehicleWheel "車輪") | domainEnglishFormat.kif 61399-61399 | ContinuousTrack est une instance de VehicleWheel |
| (termFormat EnglishLanguage VehicleWheel "vehicle wheel") | domainEnglishFormat.kif 61398-61398 | ContinuousTrack est une instance de VehicleWheel |
| 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 3981-3990 |
|
| consequent |
|
|
| (=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4)) |
Transportation.kif 2094-2096 |
|
| (=> (instance ?M Motorcycle) (equipmentCount ?M VehicleWheel 2)) |
Transportation.kif 2021-2023 |
|
| (=> (instance ?T VehicleTire) (exists (?W) (and (instance ?W VehicleWheel) (part ?T ?W)))) |
Mid-level-ontology.kif 3878-3883 |
|
|
|
|