|
|
   VehicleBrake
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VehicleBrake EnglishLanguage "A VehicleController which is capable of stopping the motion of a Vehicle.") | Mid-level-ontology.kif 3413-3414 | |
| (externalImage VehicleBrake "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 07/ Drum_brake.jpg/ 180px-Drum_brake.jpg") | pictureList.kif 1301-1301 | |
| (subclass VehicleBrake Brake) | Cars.kif 552-552 | VehicleBrake è una sottoclasse di Brake |
| (subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3412-3412 | VehicleBrake è una sottoclasse di VehicleController |
| appearance as argument number 2 |
|
|
| (subclass AntilockBrake VehicleBrake) | Cars.kif 1282-1282 | AntilockBrake è una sottoclasse di VehicleBrake |
| (subclass DiscBrake VehicleBrake) | Cars.kif 651-651 | DiscBrake è una sottoclasse di VehicleBrake |
| (subclass DrumBrake VehicleBrake) | Cars.kif 602-602 | DrumBrake è una sottoclasse di VehicleBrake |
| (subclass ParkingBrake VehicleBrake) | Cars.kif 554-554 | ParkingBrake è una sottoclasse di VehicleBrake |
| (termFormat ChineseLanguage VehicleBrake "车辆制动器") | domainEnglishFormat.kif 61358-61358 | |
| (termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") | domainEnglishFormat.kif 61357-61357 | |
| (termFormat EnglishLanguage VehicleBrake "vehicle brake") | domainEnglishFormat.kif 61356-61356 | |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | typicalPart BrakeCaliper and VehicleBrake |
| 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 3416-3426 |
|
|
|
