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

Formal Language: 



Term 1: Term 2:

(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3383-3383 VehicleSafetyDevice ist eine teilkategorie von SafetyDevice
(subclass AutoAirbag VehicleSafetyDevice) Cars.kif 3632-3632 AutoAirbag ist eine teilkategorie von VehicleSafetyDevice
(subclass SeatBelt VehicleSafetyDevice) Cars.kif 3666-3666 SeatBelt ist eine teilkategorie von VehicleSafetyDevice


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