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
は
GUIElement
の
instance
では %n
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
工程
は
WindowScrollingByUser
の
instance
では %n
GUIElement
GUIElement
は
工程
の
patient
では %n
GUIElement
は
InterfaceWindow
の
instance
では %n
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
時間間隔
は
SelectingActiveArea
の
instance
では %n
エンティティー
エンティティー
は
GUIActiveArea
の
instance
では %n
hasGUEState
エンティティー
and
GUE_ActiveState
は
時間間隔
の
beginning
の
during
holds %n{ない}
エンティティー
は
時間間隔
の
patient
では %n
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