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