Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1705-1705 User signified graphical action is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1723-1723 Moving cursor is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1784-1784 Window scrolling by user is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2291-2291 Jumping to activate UI element is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2314-2314 Highlighting is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2319-2319 Resizing screen object is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2325-2325 Bringing GE to front is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2357-2357 Opening graphical window is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2432-2432 Closing graphical window is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2447-2447 Minimizing graphical window is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2462-2462 Maximizing graphical window is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2480-2480 Unmaximizing graphical window is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2497-2497 Covering GUI element is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2551-2551 Partially covering graphical window is a subclass of user signified graphical action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2619-2619 Uncovering GUI element is a subclass of user signified graphical action


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