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

Formal Language: 



Term 1: Term 2:

(subclass Keyboard Device) ComputerInput.kif 112-112 Keyboard ist eine teilkategorie von Device
(subclass ComputerKeyboard Keyboard) ComputerInput.kif 370-370 ComputerKeyboard ist eine teilkategorie von Keyboard


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