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

Formal Language: 



Term 1: Term 2:

(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1543-1543 SlidingComputerInputDeviceAction is a subclass of UserDirectAction
(subclass SlidingComputerInputDeviceAction PhysicalGuiding) ComputerInput.kif 1544-1544 SlidingComputerInputDeviceAction is a subclass of PhysicalGuiding
(subclass MouseMoving SlidingComputerInputDeviceAction) ComputerInput.kif 1549-1549 MouseMoving is a subclass of SlidingComputerInputDeviceAction


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners