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

Formal Language: 



Term 1: Term 2:

(subclass SafetyDevice Device) Cars.kif 3325-3325 Safety device is a subclass of device
(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3350-3350 Vehicle safety device is a subclass of safety device
(subclass SafetyHarness SafetyDevice) Cars.kif 3395-3395 Safety harness is a subclass of safety device
(subclass HearingProtection SafetyDevice) Cars.kif 3420-3420 Hearing protection is a subclass of safety device
(subclass ProtectiveEyewear SafetyDevice) Cars.kif 3456-3456 Protective eyewear is a subclass of safety device
(subclass Respirator SafetyDevice) Cars.kif 3503-3503 Respirator is a subclass of safety device
(subclass SafetyVest SafetyDevice) Cars.kif 3533-3533 SafetyVest is a subclass of safety device
(subclass Helmet SafetyDevice) Cars.kif 4333-4333 Helmet is a subclass of safety device
(subclass MotorcycleGlove SafetyDevice) Cars.kif 4723-4723 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