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 The number 1 argument of uda can signify is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1718-1718 The number 2 argument of uda can signify is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1716-1716 uda can signify is an instance of binary predicate

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 The union of mouse button hold down and sliding computer input device action isgnifies dragging with cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1805-1806 The union of mouse button hold down and sliding computer input device action isgnifies window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1749-1750 The union of shift key hold down and sliding computer input device action isgnifies dragging with cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1741-1741 Pressing the arrow key key isgnifies moving cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1808-1808 Pressing the arrow key key isgnifies window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2302-2302 Pressing the down arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1836-1836 Pressing the enter key key isgnifies submit action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2311-2311 Pressing the left arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2301-2301 Pressing the right arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2300-2300 Pressing the tab key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2312-2312 Pressing the up arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2309-2310 The union of pressing the tab key key and shift key hold down isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1742-1742 Clicking isgnifies moving cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2173-2173 Clicking isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2174-2174 Double clicking isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1838-1838 Double clicking isgnifies submit action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1840-1840 Enter key press isgnifies submit action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2176-2176 Keyboard action isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1837-1837 Left clicking isgnifies submit action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1740-1740 Scroll wheel rotating isgnifies moving cursor
No TPTP formula. May not be expressible in strict first order. 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 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