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

Formal Language: 



Term 1: Term 2:

(subclass MultiKeypressKey SpecialComputerKeyboardKey) ComputerInput.kif 327-327 Multi keypress key is a subclass of special computer keyboard key
(subclass FunctionKey MultiKeypressKey) ComputerInput.kif 337-337 Function key is a subclass of multi keypress key
(subclass ShiftKey MultiKeypressKey) ComputerInput.kif 343-343 Shift key is a subclass of multi keypress key
(subclass ControlKey MultiKeypressKey) ComputerInput.kif 349-349 Control key is a subclass of multi keypress key
(subclass AltKey MultiKeypressKey) ComputerInput.kif 356-356 Alt key is a subclass of multi keypress key


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