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

Formal Language: 



Term 1: Term 2:

(subclass Lever Device) Mid-level-ontology.kif 1317-1317 Lever ist eine teilkategorie von Device
(subclass GunTrigger Lever) Mid-level-ontology.kif 1362-1362 GunTrigger ist eine teilkategorie von Lever


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