Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VehicleSafetyDevice(vehicle safety device) |
| appearance as argument number 1 |
|
| (subclass VehicleSafetyDevice SafetyDevice) | Cars.kif 3240-3240 | Vehicle safety device is a subclass of safety device |
| (documentation VehicleSafetyDevice EnglishLanguage "Any SafetyDevice that is designed to prevent (or lessen the likelihood of) the Injuring of a Human while in Vehicle.") | Cars.kif 3242-3244 | Vehicle safety device is a subclass of safety device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VehicleSafetyDevice "vehicle safety device") | Cars.kif 3241-3241 | |
| (subclass AutoAirbag VehicleSafetyDevice) | Cars.kif 3492-3492 | Airbag is a subclass of vehicle safety device |
| (subclass SeatBelt VehicleSafetyDevice) | Cars.kif 3526-3526 | Seat belt is a subclass of vehicle safety device |
| antecedent |
|
|
| (=> (instance ?VSD VehicleSafetyDevice) (hasPurpose ?VSD (exists (?V) (and (instance ?V Vehicle) (part ?VSD ?V))))) |
Cars.kif 3246-3252 | If X is an instance of vehicle safety device, then X has the purpose there exists Y such that Y is an instance of vehicle and X is a part of Y |
|