SeatBelt
|
|
appearance as argument number 1 |
(documentation SeatBelt EnglishLanguage "A flexible belt that is part of a Vehicle, and worn across the waist, and also typically the shoulder, that prevents impact of the wearer into the interior surfaces of the Vehicle during rapid Decelerating.") | Cars.kif 3660-3663 | |
(subclass SeatBelt VehicleSafetyDevice) | Cars.kif 3658-3658 | SeatBelt は VehicleSafetyDevice の subclass では %n |
(typicallyContainsPart SeatBelt Automobile) | Cars.kif 3665-3665 | typicallyContainsPart SeatBelt and Automobile |
appearance as argument number 2 |
(termFormat EnglishLanguage SeatBelt "seat belt") | Cars.kif 3659-3659 |
antecedent |
(=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3667-3673 | |
(=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3675-3704 |