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 1429-1431
(subclass Clicking UserDirectAction) ComputerInput.kif 1427-1427
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1739-1739
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2170-2170

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


(subclass DoubleClicking Clicking) ComputerInput.kif 1433-1433
(subclass LeftClicking Clicking) ComputerInput.kif 1466-1466
(subclass MiddleClicking Clicking) ComputerInput.kif 1479-1479
(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1501-1501
(subclass RightClicking Clicking) ComputerInput.kif 1450-1450
(subclass ShiftClicking Clicking) ComputerInput.kif 1490-1490
(subclass TouchSurfaceTap Clicking) ComputerInput.kif 1555-1555

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 1439-1448


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 3.0 is open source software produced by Articulate Software and its partners