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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SafetyDevice
SafetyDevice(safety device)

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


s__documentation(s__SafetyDevice,s__EnglishLanguage,'"Any Device that is designed to prevent (or lessen the likelihood of) the Injuring of a Human."')

Cars.kif 3366-3367
s__instance(s__SafetyDevice,s__SetOrClass)

s__instance(s__Device,s__SetOrClass)

s__subclass(s__SafetyDevice,s__Device)

Cars.kif 3364-3364 Safety device is a subclass of device

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


s__instance(s__SafetyDevice,s__SetOrClass)

s__subclass(s__ClimbingCarabiner,s__SafetyDevice)

s__instance(s__ClimbingCarabiner,s__SetOrClass)

Mid-level-ontology.kif 28977-28977 ClimbingCarabiner is a subclass of safety device
s__instance(s__SafetyDevice,s__SetOrClass)

s__instance(s__HearingProtection,s__SetOrClass)

s__subclass(s__HearingProtection,s__SafetyDevice)

Cars.kif 3459-3459 Hearing protection is a subclass of safety device
s__instance(s__SafetyDevice,s__SetOrClass)

s__subclass(s__Helmet,s__SafetyDevice)

s__instance(s__Helmet,s__SetOrClass)

Cars.kif 4375-4375 Helmet is a subclass of safety device
s__subclass(s__MotorcycleGlove,s__SafetyDevice)

s__instance(s__SafetyDevice,s__SetOrClass)

s__instance(s__MotorcycleGlove,s__SetOrClass)

Cars.kif 4765-4765 Motorcycle glove is a subclass of safety device
s__instance(s__ProtectiveEyewear,s__SetOrClass)

s__instance(s__SafetyDevice,s__SetOrClass)

s__subclass(s__ProtectiveEyewear,s__SafetyDevice)

Cars.kif 3495-3495 Protective eyewear is a subclass of safety device
s__subclass(s__Respirator,s__SafetyDevice)

s__instance(s__SafetyDevice,s__SetOrClass)

s__instance(s__Respirator,s__SetOrClass)

Cars.kif 3542-3542 Respirator is a subclass of safety device
s__instance(s__SafetyDevice,s__SetOrClass)

s__subclass(s__SafetyHarness,s__SafetyDevice)

s__instance(s__SafetyHarness,s__SetOrClass)

Cars.kif 3434-3434 Safety harness is a subclass of safety device
s__instance(s__SafetyVest,s__SetOrClass)

s__instance(s__SafetyDevice,s__SetOrClass)

s__subclass(s__SafetyVest,s__SafetyDevice)

Cars.kif 3572-3572 SafetyVest is a subclass of safety device
s__subclass(s__VehicleSafetyDevice,s__SafetyDevice)

s__instance(s__SafetyDevice,s__SetOrClass)

s__instance(s__VehicleSafetyDevice,s__SetOrClass)

Cars.kif 3389-3389 Vehicle safety device is a subclass of safety device
s__termFormat(s__EnglishLanguage,s__SafetyDevice,'"safety device"')

Cars.kif 3365-3365

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3369-3387


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 3.0 is open source software produced by Articulate Software and its partners