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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Clicking

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 1432-1434
(subclass Clicking UserDirectAction) ComputerInput.kif 1430-1430 ClickingUserDirectActionsubclass
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1742-1742 Clicking isgnifies MovingCursor
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2173-2173 Clicking isgnifies SelectingActiveArea

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


(subclass DoubleClicking Clicking) ComputerInput.kif 1436-1436 DoubleClickingClickingsubclass
(subclass LeftClicking Clicking) ComputerInput.kif 1469-1469 LeftClickingClickingsubclass
(subclass MiddleClicking Clicking) ComputerInput.kif 1482-1482 MiddleClickingClickingsubclass
(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1504-1504 MouseButtonHoldDownClickingsubclass
(subclass RightClicking Clicking) ComputerInput.kif 1453-1453 RightClickingClickingsubclass
(subclass ShiftClicking Clicking) ComputerInput.kif 1493-1493 ShiftClickingClickingsubclass
(subclass TouchSurfaceTap Clicking) ComputerInput.kif 1558-1558 TouchSurfaceTapClickingsubclass
(termFormat EnglishLanguage Clicking "clicking") domainEnglishFormat.kif 64648-64648

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


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