Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   VehicleController
|
|
|
| appearance as argument number 1 |
|
|
| (subclass VehicleController Device) | Mid-level-ontology.kif 3996-3996 | Vehicle controller is a subclass of device |
| (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 3997-3999 | Vehicle controller is a subclass of device |
| (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 | Vehicle controller is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V)))) |
Mid-level-ontology.kif 4001-4006 | If X is an instance of vehicle controller, then there exists Y such that Y is an instance of vehicle and X is a part of Y |
| (=> (instance ?C VehicleController) (hasPurpose ?C (exists (?D) (and (instance ?D Driving) (instrument ?D ?C))))) |
Mid-level-ontology.kif 4008-4014 | If X is an instance of vehicle controller, then X has the purpose there exists Y such that Y is an instance of driving and X is an instrument for Y |
|
