Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Clicking

 Sigma KEE - Clicking
Clicking(clicking)

appearance as argument number 1
-------------------------


(subclass Clicking UserDirectAction) ComputerInput.kif 1446-1446 Clicking is a subclass of user direct action
(documentation Clicking EnglishLanguage "A Clicking is a UserDirectAction of clicking on a mouse button or its equivalent on some other input device.") ComputerInput.kif 1448-1450 Clicking is a subclass of user direct action
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1758-1758 Clicking isgnifies moving cursor
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2189-2189 Clicking isgnifies selecting active area

appearance as argument number 2
-------------------------


(subclass DoubleClicking Clicking) ComputerInput.kif 1452-1452 Double clicking is a subclass of clicking
(subclass RightClicking Clicking) ComputerInput.kif 1469-1469 Right clicking is a subclass of clicking
(subclass LeftClicking Clicking) ComputerInput.kif 1485-1485 Left clicking is a subclass of clicking
(subclass MiddleClicking Clicking) ComputerInput.kif 1498-1498 Middle clicking is a subclass of clicking
(subclass ShiftClicking Clicking) ComputerInput.kif 1509-1509 Shift clicking is a subclass of clicking
(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1520-1520 Mouse button hold down is a subclass of clicking
(subclass TouchSurfaceTap Clicking) ComputerInput.kif 1574-1574 Touch surface tap is a subclass of clicking
(termFormat EnglishLanguage Clicking "clicking") domainEnglishFormat.kif 64651-64651 Touch surface tap is a subclass of clicking

consequent
-------------------------


(=>
    (instance ?ACT DoubleClicking)
    (exists (?CLICK1 ?CLICK2)
        (and
            (subProcess ?ACT ?CLICK1)
            (instance ?CLICK1 Clicking)
            (subProcess ?ACT ?CLICK2)
            (not
                (equal ?CLICK1 ?CLICK2))
            (instance ?CLICK2 Clicking))))		 ComputerInput.kif 1458-1467 If X is an instance of double clicking, then All of the following hold: (1) there exist Y (2) Z such that X is a subprocess of Y (3) Y is an instance of clicking (4) X is a subprocess of Z (5) equal Y (6) Z (7) Z is an instance of clicking


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners