Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SeatBelt
SeatBelt(seat belt)seat_belt, 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 3627-3630
(subclass SeatBelt VehicleSafetyDevice) Cars.kif 3625-3625 Seat belt is a subclass of vehicle safety device
(typicallyContainsPart SeatBelt Automobile) Cars.kif 3632-3632 A automobile typically has a part seat belt

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SeatBelt "seat belt") Cars.kif 3626-3626 "seat belt" is the printable form of seat belt in english language

antecedent
-------------------------


(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3634-3640
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE)
            (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 3642-3671


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners