DoubleClicking - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DoubleClicking EnglishLanguage "DoubleClicking is a UserDirectAction of clicking twice relatively rapidly so as to signify a ``double click''.")	ComputerInput.kif 1438-1440
(subclass DoubleClicking Clicking)	ComputerInput.kif 1436-1436	Double clicking is a subclass of clicking
(udaCanSignify DoubleClicking SelectingActiveArea)	ComputerInput.kif 2174-2174	Double clicking isgnifies selecting active area
(udaCanSignify DoubleClicking SubmitAction)	ComputerInput.kif 1838-1838	Double clicking isgnifies submit action

appearance as argument number 2

(termFormat EnglishLanguage DoubleClicking "double clicking")

domainEnglishFormat.kif 64827-64827

antecedent

(=>
    (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: