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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - udaCanSignify
udaCanSignify

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


(documentation udaCanSignify EnglishLanguage "(udaCanSignify ?DIRECT_ACTION_TYPE ?SIGNIFIED_ACTION_TYPE) means that an instance of the UserDirectAction ?DIRECT_ACTION can signify to a program an instance of the UserSignifiedAction ?SIGNIFIED_ACTION_TYPE.") ComputerInput.kif 1339-1339
(domain udaCanSignify 1 UserDirectAction) ComputerInput.kif 1337-1337 The number 1 argument of udaCanSignify is an instance of UserDirectAction
(domain udaCanSignify 2 UserSignifiedAction) ComputerInput.kif 1338-1338 The number 2 argument of udaCanSignify is an instance of UserSignifiedAction
(instance udaCanSignify BinaryPredicate) ComputerInput.kif 1336-1336 udaCanSignify is an instance of binary predicate

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


(format ChineseLanguage udaCanSignify "%1 isgnifies %2 ") domainEnglishFormat.kif 4859-4859
(format ChineseTraditionalLanguage udaCanSignify "%1 isgnifies %2 ") domainEnglishFormat.kif 4858-4858
(format EnglishLanguage udaCanSignify "%1 isgnifies %2") domainEnglishFormat.kif 4857-4857

appearance as argument number 0
-------------------------


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1360-1361 The union of MouseButtonHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1414-1415 The union of MouseButtonHoldDown and SlidingComputerInputDeviceAction isgnifies WindowScrollingByUser
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1362-1363 The union of ShiftKeyHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1355-1355 Pressing the ArrowKey key isgnifies MovingCursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1417-1417 Pressing the ArrowKey key isgnifies WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1423-1424 Pressing the DownArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 1843-1843 Pressing the DownArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)
ComputerInput.kif 1438-1438 Pressing the EnterKey key isgnifies SubmitAction
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1430-1431 Pressing the LeftArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 1850-1850 Pressing the LeftArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1428-1429 Pressing the RightArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 1842-1842 Pressing the RightArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)
ComputerInput.kif 1841-1841 Pressing the TabKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1421-1422 Pressing the UpArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 1851-1851 Pressing the UpArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)
ComputerInput.kif 1848-1849 The union of pressing the TabKey key and ShiftKeyHoldDown isgnifies SelectingActiveArea
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1356-1356 Clicking isgnifies MovingCursor
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 1728-1728 Clicking isgnifies SelectingActiveArea
(udaCanSignify DoubleClicking SelectingActiveArea) ComputerInput.kif 1729-1729 DoubleClicking isgnifies SelectingActiveArea
(udaCanSignify DoubleClicking SubmitAction) ComputerInput.kif 1440-1440 DoubleClicking isgnifies SubmitAction
(udaCanSignify EnterKeyPress SubmitAction) ComputerInput.kif 1442-1442 EnterKeyPress isgnifies SubmitAction
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 1731-1731 KeyboardAction isgnifies SelectingActiveArea
(udaCanSignify LeftClicking SubmitAction) ComputerInput.kif 1439-1439 LeftClicking isgnifies SubmitAction
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1354-1354 ScrollWheelRotating isgnifies MovingCursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1416-1416 ScrollWheelRotating isgnifies WindowScrollingByUser

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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