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

Formal Language: 



Term 1: Term 2:

(subclass SafetyDevice Device) Cars.kif 3350-3350 SafetyDeviceデバイスsubclass では %n
(subclass ClimbingCarabiner SafetyDevice) Mid-level-ontology.kif 30838-30838 ClimbingCarabinerSafetyDevicesubclass では %n
(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3375-3375 VehicleSafetyDeviceSafetyDevicesubclass では %n
(subclass SafetyHarness SafetyDevice) Cars.kif 3419-3419 SafetyHarnessSafetyDevicesubclass では %n
(subclass HearingProtection SafetyDevice) Cars.kif 3444-3444 HearingProtectionSafetyDevicesubclass では %n
(subclass ProtectiveEyewear SafetyDevice) Cars.kif 3478-3478 ProtectiveEyewearSafetyDevicesubclass では %n
(subclass Respirator SafetyDevice) Cars.kif 3526-3526 RespiratorSafetyDevicesubclass では %n
(subclass SafetyVest SafetyDevice) Cars.kif 3555-3555 SafetyVestSafetyDevicesubclass では %n
(subclass Helmet SafetyDevice) Cars.kif 4359-4359 HelmetSafetyDevicesubclass では %n
(subclass MotorcycleGlove SafetyDevice) Cars.kif 4742-4742 MotorcycleGloveSafetyDevicesubclass では %n


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