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
est une
instance
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
Processus
est une
instance
de
WindowScrollingByUser
GUIElement
GUIElement
est un
patient
de
processus
GUIElement
est une
instance
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
Interval temporel
est une
instance
de
SelectingActiveArea
entit�
entit�
est une
instance
de
GUIActiveArea
hasGUEState
entit�
and
GUE_ActiveState
pendant
le
d
�but de
interval temporel
entit�
est un
patient
de
interval temporel
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