| VehicleController(vehicle controller)
| | control_stick, joystick, stick, tiller |
| appearance as argument number 1 |
|
|
| (documentation VehicleController EnglishLanguage "Any Device which is used to start, stop or control the movements of a Vehicle. This class covers steering wheels, brakes, acceleration pedals, airplane sticks, etc.") | Mid-level-ontology.kif 3828-3830 | |
| (externalImage VehicleController "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ d/ d0/ Toyota_F1_steering_wheel.jpg/ 200px_Toyota_F1_steering_wheel.jpg") | pictureList.kif 1299-1299 | |
| (subclass VehicleController Device) | Mid-level-ontology.kif 3827-3827 | Vehicle controller is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass SteeringWheel VehicleController) | Mid-level-ontology.kif 3847-3847 | Steering wheel is a subclass of vehicle controller |
| (subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3855-3855 | Vehicle brake is a subclass of vehicle controller |
| (subclass VehicleThrottle VehicleController) | Mid-level-ontology.kif 3871-3871 | Vehicle throttle is a subclass of vehicle controller |
| (termFormat ChineseLanguage VehicleController "车辆控制器") | domainEnglishFormat.kif 61364-61364 | Vehicle throttle is a subclass of vehicle controller |
| (termFormat ChineseTraditionalLanguage VehicleController "車輛控制器") | domainEnglishFormat.kif 61363-61363 | Vehicle throttle is a subclass of vehicle controller |
| (termFormat EnglishLanguage VehicleController "vehicle controller") | domainEnglishFormat.kif 61362-61362 | Vehicle throttle is a subclass of vehicle controller |
| antecedent |
|
|
| (=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V)))) |
Mid-level-ontology.kif 3832-3837 |
|
| (=> (instance ?C VehicleController) (hasPurpose ?C (exists (?D) (and (instance ?D Driving) (instrument ?D ?C))))) |
Mid-level-ontology.kif 3839-3845 |
|
|
|
|