VehicleController
|
|
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 3385-3387 | |
(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 3384-3384 |
appearance as argument number 2 |
(subclass SteeringWheel VehicleController) | Mid-level-ontology.kif 3404-3404 | |
(subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3412-3412 | |
(subclass VehicleThrottle VehicleController) | Mid-level-ontology.kif 3428-3428 | |
(termFormat ChineseLanguage VehicleController "车辆控制器") | domainEnglishFormat.kif 61370-61370 | |
(termFormat ChineseTraditionalLanguage VehicleController "車輛控制器") | domainEnglishFormat.kif 61369-61369 | |
(termFormat EnglishLanguage VehicleController "vehicle controller") | domainEnglishFormat.kif 61368-61368 |
antecedent |
(=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V)))) |
Mid-level-ontology.kif 3389-3394 | |
(=> (instance ?C VehicleController) (hasPurpose ?C (exists (?D) (and (instance ?D Driving) (instrument ?D ?C))))) |
Mid-level-ontology.kif 3396-3402 |