hasGUEState
(=>
(
instance
?GUE
GUIElement
)
(
or
(
hasGUEState
?GUE
GUE_CoveredState
)
(
hasGUEState
?GUE
GUE_OffscreenState
)
(
hasGUEState
?GUE
GUE_MinimizedState
)
(
hasGUEState
?GUE
GUE_DisplayedState
)))
ComputerInput.kif 2149-2155
If
a GUI element
is an
instance
of
GUI element
,
then
the GUI element
has
state
GUE covered state
or
the GUI element
has
state
GUE offscreen state
or
the GUI element
has
state
GUE minimized state
or
the GUI element
has
state
GUE displayed state
(=>
(
instance
?SCROLL
WindowScrollingByUser
)
(
exists
(?WINDOW)
(
and
(
patient
?SCROLL ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
hasGUEState
?WINDOW
GUE_ActiveState
))))
ComputerInput.kif 1797-1803
If
a process
is an
instance
of
window scrolling by user
,
then there exists
a GUI element
such that
the GUI element
is a
patient
of
the process
and
the GUI element
is an
instance
of
interface window
and
the GUI element
has
state
GUE active state
(=>
(
instance
?SELECT
SelectingActiveArea
)
(
exists
(?ELEMENT)
(
and
(
instance
?ELEMENT
GUIActiveArea
)
(
holdsDuring
(
BeginFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_ActiveState
))
(
patient
?SELECT ?ELEMENT))))
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
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