Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clicking
Clicking

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


(documentation Clicking EnglishLanguage "A Clicking is a UserDirectAction of clicking on a mouse button or its equivalent on some other input device.") ComputerInput.kif 1459-1461
(subclass Clicking UserDirectAction) ComputerInput.kif 1457-1457 Clicking is a subclass of UserDirectAction
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1757-1757 Clicking isgnifies MovingCursor
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2188-2188 Clicking isgnifies SelectingActiveArea

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


(subclass DoubleClicking Clicking) ComputerInput.kif 1463-1463 DoubleClicking is a subclass of Clicking
(subclass LeftClicking Clicking) ComputerInput.kif 1496-1496 LeftClicking is a subclass of Clicking
(subclass MiddleClicking Clicking) ComputerInput.kif 1509-1509 MiddleClicking is a subclass of Clicking
(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1531-1531 MouseButtonHoldDown is a subclass of Clicking
(subclass RightClicking Clicking) ComputerInput.kif 1480-1480 RightClicking is a subclass of Clicking
(subclass ShiftClicking Clicking) ComputerInput.kif 1520-1520 ShiftClicking is a subclass of Clicking
(subclass TouchSurfaceTap Clicking) ComputerInput.kif 1587-1587 TouchSurfaceTap 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 1469-1478


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



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