Clicking - Sigma Knowledge base Browser

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 1432-1434
(subclass Clicking UserDirectAction)	ComputerInput.kif 1430-1430	Clicking is a subclass of user direct action
(udaCanSignify Clicking MovingCursor)	ComputerInput.kif 1742-1742	Clicking isgnifies moving cursor
(udaCanSignify Clicking SelectingActiveArea)	ComputerInput.kif 2173-2173	Clicking isgnifies selecting active area

appearance as argument number 2

(subclass DoubleClicking Clicking)	ComputerInput.kif 1436-1436	Double clicking is a subclass of clicking
(subclass LeftClicking Clicking)	ComputerInput.kif 1469-1469	Left clicking is a subclass of clicking
(subclass MiddleClicking Clicking)	ComputerInput.kif 1482-1482	Middle clicking is a subclass of clicking
(subclass MouseButtonHoldDown Clicking)	ComputerInput.kif 1504-1504	Mouse button hold down is a subclass of clicking
(subclass RightClicking Clicking)	ComputerInput.kif 1453-1453	Right clicking is a subclass of clicking
(subclass ShiftClicking Clicking)	ComputerInput.kif 1493-1493	Shift clicking is a subclass of clicking
(subclass TouchSurfaceTap Clicking)	ComputerInput.kif 1558-1558	Touch surface tap is a subclass of clicking
(termFormat EnglishLanguage Clicking "clicking")	domainEnglishFormat.kif 64696-64696	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 1442-1451

If a process is an instance of double clicking,
then there exist another process and a third process such that the process is a subprocess of the other process and the other process is an instance of clicking and the process is a subprocess of the third process and the other process is not equal to the third process and the third process is an instance of clicking

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

KB Term:			Term intersection

English Word: