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

Formal Language: 



Term 1: Term 2:

(subclass VehicleSafetyDevice SafetyDevice) Cars.kif 3383-3383 VehicleSafetyDevice è una sottoclasse di SafetyDevice
(subclass AutoAirbag VehicleSafetyDevice) Cars.kif 3632-3632 AutoAirbag è una sottoclasse di VehicleSafetyDevice
(subclass SeatBelt VehicleSafetyDevice) Cars.kif 3666-3666 SeatBelt è una sottoclasse di 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