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

Formal Language: 



KB Term:  Term intersection
English Word: 

  udaCanSignify

 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
(domainSubclass udaCanSignify 2 UserSignifiedAction) ComputerInput.kif 1718-1718
(instance udaCanSignify BinaryPredicate) ComputerInput.kif 1716-1716

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


(format ChineseLanguage udaCanSignify "%1 isgnifies %2 ") domainEnglishFormat.kif 4854-4854
(format ChineseTraditionalLanguage udaCanSignify "%1 isgnifies %2 ") domainEnglishFormat.kif 4853-4853
(format EnglishLanguage udaCanSignify "%1 isgnifies %2") domainEnglishFormat.kif 4852-4852
(termFormat EnglishLanguage udaCanSignify "uda can signify") domainEnglishFormat.kif 65966-65966

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1747-1748
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)		 ComputerInput.kif 1805-1806
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1749-1750
(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)		 ComputerInput.kif 1741-1741
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)		 ComputerInput.kif 1808-1808
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1815-1816
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)		 ComputerInput.kif 2302-2302
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)		 ComputerInput.kif 1836-1836
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1824-1825
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)		 ComputerInput.kif 2311-2311
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1822-1823
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2301-2301
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)		 ComputerInput.kif 2300-2300
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1813-1814
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)		 ComputerInput.kif 2312-2312
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)		 ComputerInput.kif 2309-2310
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1742-1742
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2173-2173
(udaCanSignify DoubleClicking SelectingActiveArea) ComputerInput.kif 2174-2174
(udaCanSignify DoubleClicking SubmitAction) ComputerInput.kif 1838-1838
(udaCanSignify EnterKeyPress SubmitAction) ComputerInput.kif 1840-1840
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 2176-2176
(udaCanSignify LeftClicking SubmitAction) ComputerInput.kif 1837-1837
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1740-1740
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1807-1807

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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