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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SafetyDevice

 Sigma KEE - SafetyDevice
SafetyDevice

appearance as argument number 1
-------------------------


(documentation SafetyDevice EnglishLanguage "Any Device that is designed to prevent (or lessen the likelihood of) the Injuring of a Human.") Cars.kif 3360-3361
(subclass SafetyDevice Device) Cars.kif 3358-3358 SafetyDevice e' uma sub-classe de Aparelho

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


(subclass ClimbingCarabiner SafetyDevice) Mid-level-ontology.kif 30826-30826 ClimbingCarabiner e' uma sub-classe de SafetyDevice
(subclass HearingProtection SafetyDevice) Cars.kif 3452-3452 HearingProtection e' uma sub-classe de SafetyDevice
(subclass Helmet SafetyDevice) Cars.kif 4367-4367 Helmet e' uma sub-classe de SafetyDevice
(subclass MotorcycleGlove SafetyDevice) Cars.kif 4750-4750 MotorcycleGlove e' uma sub-classe de SafetyDevice
(subclass ProtectiveEyewear SafetyDevice) Cars.kif 3486-3486 ProtectiveEyewear e' uma sub-classe de SafetyDevice
(subclass Respirator SafetyDevice) Cars.kif 3534-3534 Respirator e' uma sub-classe de SafetyDevice
(subclass SafetyHarness SafetyDevice) Cars.kif 3427-3427 SafetyHarness e' uma sub-classe de SafetyDevice
(subclass SafetyVest SafetyDevice) Cars.kif 3563-3563 SafetyVest e' uma sub-classe de SafetyDevice
(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3383-3383 VehicleSafetyDevice e' uma sub-classe de SafetyDevice
(termFormat EnglishLanguage SafetyDevice "safety device") Cars.kif 3359-3359

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


(=>
    (instance ?X SafetyDevice)
    (hasPurpose ?X
        (exists (?P ?H ?I ?T)
            (and
                (instance ?H Human)
                (instance ?P Process)
                (patient ?P ?H)
                (instrument ?P ?X)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (=>
                                (holdsDuring ?T
                                    (experiencer ?I ?H))
                                (not
                                    (holdsDuring ?T
                                        (patient ?P ?H)))))))))))		 Cars.kif 3363-3381


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners