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

Formal Language: 



Term 1: Term 2:

(subclass SafetyDevice Device) Cars.kif 3358-3358
(subclass ClimbingCarabiner SafetyDevice) Mid-level-ontology.kif 30826-30826
(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3383-3383
(subclass SafetyHarness SafetyDevice) Cars.kif 3427-3427
(subclass HearingProtection SafetyDevice) Cars.kif 3452-3452
(subclass ProtectiveEyewear SafetyDevice) Cars.kif 3486-3486
(subclass Respirator SafetyDevice) Cars.kif 3534-3534
(subclass SafetyVest SafetyDevice) Cars.kif 3563-3563
(subclass Helmet SafetyDevice) Cars.kif 4367-4367
(subclass MotorcycleGlove SafetyDevice) Cars.kif 4750-4750


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