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

Formal Language: 



Term 1: Term 2:

(subclass ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 377-377 ComputerKeypad ist eine teilkategorie von ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeypad ComputerKeypad) ComputerInput.kif 465-465 ComputerTouchscreenKeypad ist eine teilkategorie von ComputerKeypad


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