No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2175-2175	Shift clicking isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1739-1739	Sliding computer input device action isgnifies moving cursor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2322-2322	Touch surface double finger slide isgnifies resizing screen object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1839-1839	Touch surface tap isgnifies submit action
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1872-1872	Typing isgnifies input character string

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