(=>
(instance ?SELECT SelectingActiveArea)
(exists (?ELEMENT)
(and
(instance ?ELEMENT GUIActiveArea)
(holdsDuring
(BeginFn ?SELECT)
(hasGUEState ?ELEMENT GUE_ActiveState))
(patient ?SELECT ?ELEMENT)))) |
ComputerInput.kif 2206-2214 |
If X is an instance of selecting active area, then there exists Y such that Y is an instance of GUI active area, Y has state GUE active state holds during the beginning of X, and Y is a patient of X |
(=>
(and
(instance ?SELECT SelectingActiveArea)
(patient ?SELECT ?ELEMENT)
(instance ?ELEMENT GUIActiveArea))
(holdsDuring
(BeginFn ?SELECT)
(not
(hasGUEState ?ELEMENT GUE_SelectedState)))) |
ComputerInput.kif 2219-2226 |
If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the beginning of X |
(=>
(and
(instance ?SELECT SelectingActiveArea)
(patient ?SELECT ?ELEMENT)
(instance ?ELEMENT GUIActiveArea))
(holdsDuring
(EndFn ?SELECT)
(hasGUEState ?ELEMENT GUE_SelectedState))) |
ComputerInput.kif 2231-2238 |
If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the end of X |
(=>
(and
(instance ?SELECT SelectingActiveArea)
(patient ?SELECT ?ELEMENT)
(instance ?ELEMENT HypertextLink))
(instance ?SELECT RequestingHyperlink)) |
ComputerInput.kif 2251-2256 |
If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of hyperlink, then X is an instance of requesting hyperlink |
(=>
(and
(instance ?SELECT SelectingActiveArea)
(patient ?SELECT ?ELEMENT)
(instance ?ELEMENT ComputerMenuItem))
(instance ?SELECT SelectingComputerMenuOption)) |
ComputerInput.kif 2262-2267 |
If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of computer menu item, then X is an instance of selecting computer menu option |
