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

Formal Language: 



Term 1: Term 2:

(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1224-1224 KeyboardActionUserDirectActionsubclass では %n
(subclass MultikeyAction KeyboardAction) ComputerInput.kif 1237-1237 MultikeyActionKeyboardActionsubclass では %n
(subclass KeyHoldDown KeyboardAction) ComputerInput.kif 1254-1254 KeyHoldDownKeyboardActionsubclass では %n
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1353-1353 SingleKeyPressKeyboardActionsubclass では %n
(subclass Typing KeyboardAction) ComputerInput.kif 1688-1688 TypingKeyboardActionsubclass では %n


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