Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
VehicleBrake(vehicle brake)
|  | brake_system, brakes, foot_brake, hydraulic_brake, hydraulic_brakes |
| appearance as argument number 1 |
|
|
| (subclass VehicleBrake Brake) | Mid-level-ontology.kif 4038-4038 | Vehicle brake is a subclass of brake |
| (subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 4039-4039 | Vehicle brake is a subclass of vehicle controller |
| (documentation VehicleBrake EnglishLanguage "A VehicleController which is capable of stopping the motion of a Vehicle.") | Mid-level-ontology.kif 4040-4041 | Vehicle brake is a subclass of vehicle controller |
| (externalImage VehicleBrake "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 07/ Drum_brake.jpg/ 180px_Drum_brake.jpg") | pictureList.kif 1301-1301 | Vehicle brake is a subclass of vehicle controller |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B))))) |
Mid-level-ontology.kif 4043-4053 | If X is an instance of vehicle brake, Y is an instance of vehicle, and X is a part of Y, then X has the purpose there exists Z such that Z is an instance of the stop of motion, Y is a patient of Z, and X is an instrument for Z |
|