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

Formal Language: 



Term 1: Term 2:

(subclass Helmet SafetyDevice) Cars.kif 4367-4367 Helmet ist eine teilkategorie von SafetyDevice
(subclass Helmet
    (CoveringFn Head))		 Cars.kif 4368-4368 Helmet ist eine teilkategorie von CoveringFn Head
(subclass MotorcycleHelmet Helmet) Cars.kif 4372-4372 MotorcycleHelmet ist eine teilkategorie von Helmet


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