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
GUIElement
e' uma
instancia
de
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
hasGUEState
GUIElement
and
GUE_MinimizedState
hasGUEState
GUIElement
and
GUE_DisplayedState
(=>
(
instance
?SCROLL
WindowScrollingByUser
)
(
exists
(?WINDOW)
(
and
(
patient
?SCROLL ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
hasGUEState
?WINDOW
GUE_ActiveState
))))
ComputerInput.kif 1797-1803
Processo
e' uma
instancia
de
WindowScrollingByUser
GUIElement
GUIElement
e' um
patient
de
Processo
GUIElement
e' uma
instancia
de
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
(=>
(
instance
?SELECT
SelectingActiveArea
)
(
exists
(?ELEMENT)
(
and
(
instance
?ELEMENT
GUIActiveArea
)
(
holdsDuring
(
BeginFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_ActiveState
))
(
patient
?SELECT ?ELEMENT))))
ComputerInput.kif 2190-2198
Intervalo Temporal
e' uma
instancia
de
SelectingActiveArea
Entidade
Entidade
e' uma
instancia
de
GUIActiveArea
hasGUEState
Entidade
and
GUE_ActiveState
vale
durante o
comeco
de
Intervalo Temporal
Entidade
e' um
patient
de
Intervalo Temporal
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