Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SeatBelt(seat belt) |  | seat_belt, seatbelt |
| appearance as argument number 1 |
|
|
| (subclass SeatBelt VehicleSafetyDevice) | Cars.kif 3526-3526 | Seat belt is a subclass of vehicle safety device |
| (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 3528-3531 | Seat belt is a subclass of vehicle safety device |
| (typicallyContainsPart SeatBelt Automobile) | Cars.kif 3533-3533 | A automobile typically has a part seat belt |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SeatBelt "seat belt") | Cars.kif 3527-3527 |
| antecedent |
|
|
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3535-3541 | If X is an instance of seat belt, then there exists Y such that Y is a part of X, pliable is an attribute of Y, and Y is made of fabric |
| (=> (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 3543-3572 | If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V |
|