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 udaCanSignify 的 1 数量 是 UserDirectAction 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1718-1718 udaCanSignify 的 2 数量 是 UserSignifiedAction 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1716-1716 udaCanSignify 是 二元谓语 的 instance

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 结合 MouseButtonHoldDown 和 SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1805-1806 结合 MouseButtonHoldDown 和 SlidingComputerInputDeviceAction isgnifies WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1749-1750 结合 ShiftKeyHoldDown 和 SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1741-1741 Pressing ArrowKey 鍵 isgnifies MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1808-1808 Pressing ArrowKey 鍵 isgnifies WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 Pressing DownArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2302-2302 Pressing DownArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1836-1836 Pressing EnterKey 鍵 isgnifies SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 Pressing LeftArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2311-2311 Pressing LeftArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 Pressing RightArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2301-2301 Pressing RightArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2300-2300 Pressing TabKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 Pressing UpArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2312-2312 Pressing UpArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2309-2310 结合 pressing TabKey 鍵 和 ShiftKeyHoldDown isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1742-1742 Clicking isgnifies MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2173-2173 Clicking isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2174-2174 DoubleClicking isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1838-1838 DoubleClicking isgnifies SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1840-1840 EnterKeyPress isgnifies SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2176-2176 KeyboardAction isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1837-1837 LeftClicking isgnifies SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1740-1740 ScrollWheelRotating isgnifies MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1807-1807 ScrollWheelRotating isgnifies 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