Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


Term 1: Term 2:

(subclass SafetyDevice Device) Cars.kif 3411-3411 Safety device is a subclass of device
(subclass ClimbingCarabiner SafetyDevice) Mid-level-ontology.kif 32774-32774 Climbing carabiner is a subclass of safety device
(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3436-3436 Vehicle safety device is a subclass of safety device
(subclass SafetyHarness SafetyDevice) Cars.kif 3480-3480 Safety harness is a subclass of safety device
(subclass HearingProtection SafetyDevice) Cars.kif 3505-3505 Hearing protection is a subclass of safety device
(subclass ProtectiveEyewear SafetyDevice) Cars.kif 3539-3539 Protective eyewear is a subclass of safety device
(subclass Respirator SafetyDevice) Cars.kif 3587-3587 Respirator is a subclass of safety device
(subclass SafetyVest SafetyDevice) Cars.kif 3616-3616 Safety vest is a subclass of safety device
(subclass Helmet SafetyDevice) Cars.kif 4420-4420 Helmet is a subclass of safety device
(subclass MotorcycleGlove SafetyDevice) Cars.kif 4803-4803 Motorcycle glove is a subclass of safety device


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