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 1719-1721
(domainSubclass udaCanSignify 1 UserDirectAction) ComputerInput.kif 1717-1717 The number 1 argument of uda can signify is a subclass of user direct action
(domainSubclass udaCanSignify 2 UserSignifiedAction) ComputerInput.kif 1718-1718 The number 2 argument of uda can signify is a subclass of user signified action
(instance udaCanSignify BinaryPredicate) ComputerInput.kif 1716-1716 uda can signify is an instance of binary predicate

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


(format ChineseLanguage udaCanSignify "%1 isgnifies %2 ") domainEnglishFormat.kif 4856-4856
(format ChineseTraditionalLanguage udaCanSignify "%1 isgnifies %2 ") domainEnglishFormat.kif 4855-4855
(format EnglishLanguage udaCanSignify "%1 isgnifies %2") domainEnglishFormat.kif 4854-4854
(termFormat EnglishLanguage udaCanSignify "uda can signify") domainEnglishFormat.kif 66023-66023

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1747-1748 The union of mouse button hold down and sliding computer input device action isgnifies dragging with cursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)		 ComputerInput.kif 1805-1806 The union of mouse button hold down and sliding computer input device action isgnifies window scrolling by user
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1749-1750 The union of shift key hold down and sliding computer input device action isgnifies dragging with cursor
(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)		 ComputerInput.kif 1741-1741 Pressing the arrow key key isgnifies moving cursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)		 ComputerInput.kif 1808-1808 Pressing the arrow key key isgnifies window scrolling by user
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1815-1816 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)		 ComputerInput.kif 2302-2302 Pressing the down arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)		 ComputerInput.kif 1836-1836 Pressing the enter key key isgnifies submit action
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1824-1825 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)		 ComputerInput.kif 2311-2311 Pressing the left arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1822-1823 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2301-2301 Pressing the right arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)		 ComputerInput.kif 2300-2300 Pressing the tab key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1813-1814 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)		 ComputerInput.kif 2312-2312 Pressing the up arrow key key isgnifies selecting active area
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)		 ComputerInput.kif 2309-2310 The union of pressing the tab key key and shift key hold down isgnifies selecting active area
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1742-1742 Clicking isgnifies moving cursor
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2173-2173 Clicking isgnifies selecting active area
(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
(udaCanSignify EnterKeyPress SubmitAction) ComputerInput.kif 1840-1840 Enter key press isgnifies submit action
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 2176-2176 Keyboard action isgnifies selecting active area
(udaCanSignify LeftClicking SubmitAction) ComputerInput.kif 1837-1837 Left clicking isgnifies submit action
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1740-1740 Scroll wheel rotating isgnifies moving cursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1807-1807 Scroll wheel rotating isgnifies window scrolling by user

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