SelectingActiveArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SelectingActiveArea

SelectingActiveArea(selecting active area)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2160-2172
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2159-2159	Selecting active area is a subclass of user signified action
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 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 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 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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2231-2231	Requesting hyperlink is a subclass of selecting active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2242-2242	Selecting computer menu option is a subclass of selecting active area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65468-65468
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 2176-2176	Keyboard action isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2175-2175	Shift clicking isgnifies selecting active area

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2246-2251	If a process is an instance of selecting active area and an entity is a patient of the process and the entity is an instance of computer menu item, then the process is an instance of selecting computer menu option
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2203-2210	If a time interval is an instance of selecting active area and an entity is a patient of the time interval and the entity is an instance of GUI active area, then not the entity has state GUE selected state holds during the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2215-2222	If a time interval is an instance of selecting active area and an entity is a patient of the time interval and the entity is an instance of GUI active area, then the entity has state GUE selected state holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2235-2240	If a process is an instance of selecting active area and an entity is a patient of the process and the entity is an instance of hyperlink, then the process is an instance of requesting hyperlink
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2190-2198	If a time interval is an instance of selecting active area, then there exists an entity such that the entity is an instance of GUI active area and the entity has state GUE active state holds during the beginning of the time interval and the entity is a patient of the time interval

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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