|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2175-2175 | udaCanSignify ShiftClicking and SelectingActiveArea |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1739-1739 | udaCanSignify SlidingComputerInputDeviceAction and MovingCursor |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2322-2322 | udaCanSignify TouchSurfaceDoubleFingerSlide and ResizingScreenObject |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1839-1839 | udaCanSignify TouchSurfaceTap and SubmitAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1872-1872 | udaCanSignify Typing and InputCharacterString |
|
|
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