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 3337-3338
(subclass SafetyDevice Device) Cars.kif 3335-3335 SafetyDevice è una sottoclasse di Dispositivo

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


(subclass ClimbingCarabiner SafetyDevice) Mid-level-ontology.kif 30862-30862 ClimbingCarabiner è una sottoclasse di SafetyDevice
(subclass HearingProtection SafetyDevice) Cars.kif 3429-3429 HearingProtection è una sottoclasse di SafetyDevice
(subclass Helmet SafetyDevice) Cars.kif 4344-4344 Helmet è una sottoclasse di SafetyDevice
(subclass MotorcycleGlove SafetyDevice) Cars.kif 4727-4727 MotorcycleGlove è una sottoclasse di SafetyDevice
(subclass ProtectiveEyewear SafetyDevice) Cars.kif 3463-3463 ProtectiveEyewear è una sottoclasse di SafetyDevice
(subclass Respirator SafetyDevice) Cars.kif 3511-3511 Respirator è una sottoclasse di SafetyDevice
(subclass SafetyHarness SafetyDevice) Cars.kif 3404-3404 SafetyHarness è una sottoclasse di SafetyDevice
(subclass SafetyVest SafetyDevice) Cars.kif 3540-3540 SafetyVest è una sottoclasse di SafetyDevice
(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3360-3360 VehicleSafetyDevice è una sottoclasse di SafetyDevice
(termFormat EnglishLanguage SafetyDevice "safety device") Cars.kif 3336-3336

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 3340-3358


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