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
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1719-1721
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1717-1717 Le nombre 1 argument de udaCanSignify est une sous-classe de UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1718-1718 Le nombre 2 argument de udaCanSignify est une sous-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1716-1716 udaCanSignify est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4854-4854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4853-4853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4852-4852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65964-65964

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1747-1748 udaCanSignify l' intersection de MouseButtonHoldDown et SlidingComputerInputDeviceAction and DraggingWithCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1805-1806 udaCanSignify l' intersection de MouseButtonHoldDown et SlidingComputerInputDeviceAction and WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1749-1750 udaCanSignify l' intersection de ShiftKeyHoldDown et SlidingComputerInputDeviceAction and DraggingWithCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1741-1741 udaCanSignify PressingKeyFn ArrowKey and MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1808-1808 udaCanSignify PressingKeyFn ArrowKey and WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 udaCanSignify PressingKeyFn DownArrowKey and l' intersection de VerticalWindowScrolling et WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2302-2302 udaCanSignify PressingKeyFn DownArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1836-1836 udaCanSignify PressingKeyFn EnterKey and SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 udaCanSignify PressingKeyFn LeftArrowKey and l' intersection de HorizontalWindowScrolling et WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2311-2311 udaCanSignify PressingKeyFn LeftArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 udaCanSignify PressingKeyFn RightArrowKey and l' intersection de HorizontalWindowScrolling et WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2301-2301 udaCanSignify PressingKeyFn RightArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2300-2300 udaCanSignify PressingKeyFn TabKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 udaCanSignify PressingKeyFn UpArrowKey and l' intersection de VerticalWindowScrolling et WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2312-2312 udaCanSignify PressingKeyFn UpArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2309-2310 udaCanSignify l' union de PressingKeyFn TabKey et ShiftKeyHoldDown and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1742-1742 udaCanSignify Clicking and MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2173-2173 udaCanSignify Clicking and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2174-2174 udaCanSignify DoubleClicking and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1838-1838 udaCanSignify DoubleClicking and SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1840-1840 udaCanSignify EnterKeyPress and SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2176-2176 udaCanSignify KeyboardAction and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1837-1837 udaCanSignify LeftClicking and SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1740-1740 udaCanSignify ScrollWheelRotating and MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1807-1807 udaCanSignify ScrollWheelRotating and WindowScrollingByUser

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