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
Wenn
GUIElement
ist ein
fall
von
GUIElement
%n{nicht},
dann
hasGUEState
** GUIElement
and
GUE_CoveredState
oder
hasGUEState
** GUIElement
and
GUE_OffscreenState
oder
hasGUEState
** GUIElement
and
GUE_MinimizedState
oder
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
Wenn
Process
ist ein
fall
von
WindowScrollingByUser
%n{nicht},
dann es gibt
GUIElement
um
** GUIElement
ist ein
patient
von
** Process
%n{nicht} und
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
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
Wenn
TimeInterval
ist ein
fall
von
SelectingActiveArea
%n{nicht},
dann es gibt
Entity
um
** Entity
ist ein
fall
von
GUIActiveArea
%n{nicht} und
hasGUEState
** Entity
and
GUE_ActiveState
haelt
waehrend
der
anfang
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
patient
von
** TimeInterval
%n{nicht}
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