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

Formal Language: 



Term 1: Term 2:

(subclass ComputerKeyboardKey ComputerInputButton) ComputerInput.kif 239-239 ComputerKeyboardKey ist eine teilkategorie von ComputerInputButton
(subclass CharacterKey ComputerKeyboardKey) ComputerInput.kif 269-269 CharacterKey ist eine teilkategorie von ComputerKeyboardKey
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) ComputerInput.kif 273-273 SpecialComputerKeyboardKey ist eine teilkategorie von ComputerKeyboardKey


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