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

Formal Language: 



Term 1: Term 2:

(subclass AutoAirbag VehicleSafetyDevice) Cars.kif 3624-3624 AutoAirbag ist eine teilkategorie von VehicleSafetyDevice
(subclass AutoAirbag Balloon) Cars.kif 3625-3625 AutoAirbag ist eine teilkategorie von Balloon


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