Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
hasGUEState
Sigma KEE - hasGUEState
hasGUEState
appearance as argument number 1
(
documentation
hasGUEState
EnglishLanguage
"(hasGUEState ?GUIE ?STATE) means that the
GUIElement
?GUIE has the
GUElementState
, ?STATE.")
ComputerInput.kif 1885-1886
(
domain
hasGUEState
1
GUIElement
)
ComputerInput.kif 1883-1883
The number 1 argument of
has GUE state
is an
instance
of
GUI element
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
The number 2 argument of
has GUE state
is an
instance
of
GU element state
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
has GUE state
is an
instance
of
binary predicate
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
has GUE state
is a
subrelation
of
attribute
appearance as argument number 2
(
format
ChineseLanguage
hasGUEState
"%1 有 state %2 ")
domainEnglishFormat.kif 3610-3610
(
format
ChineseTraditionalLanguage
hasGUEState
"%1 有 state %2 ")
domainEnglishFormat.kif 3609-3609
(
format
EnglishLanguage
hasGUEState
"%1 has state %2")
domainEnglishFormat.kif 3608-3608
(
termFormat
EnglishLanguage
hasGUEState
"has GUE state")
domainEnglishFormat.kif 65847-65847
antecedent
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
If
a GUI element
has
state
GUE uncovered state
and
the GUI element
has
state
GUE maximized window state
and
the GUI element
is
displayed
on
a computer screen
and
another GUI element
is an
instance
of
interface window
and
the other GUI element
is
displayed
on
the computer screen
and
the GUI element
is not
equal
to
the other GUI element
,
then
the other GUI element
has
state
GUE covered state
or
the other GUI element
has
state
GUE partially covered state
or
the other GUI element
has
state
GUE offscreen state
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
If
a GUI element
has
state
GUE uncovered state
and
the GUI element
has
state
GUE maximized window state
,
then
the GUI element
has
state
GUE active state
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE uncovered state
,
then not
the entity
has
state
the attribute
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
If
a GUI element
is an
instance
of
GUI element
and
the GUI element
has
state
GUE active state
and
the GUI element
is a
proper
part
of
another GUI element
and
the other GUI element
is an
instance
of
GUI element
,
then
the other GUI element
has
state
GUE active state
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
If
a GUI element
is an
instance
of
GUI element
and
another GUI element
is an
instance
of
GUI element
and
the GUI element
is not an
instance
of
interface window
and
the other GUI element
is not an
instance
of
interface window
and
the GUI element
is
displayed
on
a computer screen
and
the other GUI element
is
displayed
on
the computer screen
and
the GUI element
has
state
GUE active state
and
the other GUI element
has
state
GUE active state
,
then
the GUI element
is a
proper
part
of
the other GUI element
or
the other GUI element
is a
proper
part
of
the GUI element
or
the GUI element
is
equal
to
the other GUI element
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_CoveredState
))
(
hasGUEState
?GUIE_SM
GUE_CoveredState
))
ComputerInput.kif 2082-2088
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE covered state
,
then
the entity
_SM has
state
GUE covered state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_NonVisibleState
))
(
hasGUEState
?GUIE_SM
GUE_NonVisibleState
))
ComputerInput.kif 2001-2007
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE non visible state
,
then
the entity
_SM has
state
GUE non visible state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_OffscreenState
))
(
hasGUEState
?GUIE_SM
GUE_OffscreenState
))
ComputerInput.kif 2029-2035
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE offscreen state
,
then
the entity
_SM has
state
GUE offscreen state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_PassiveState
))
(
hasGUEState
?GUIE_SM
GUE_PassiveState
))
ComputerInput.kif 1977-1983
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE passive state
,
then
the entity
_SM has
state
GUE passive state
(=>
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
instance
?GUIE
GUIElement
)
(
screenOfGUIE
?WINDOW ?SCREEN)
(
screenOfGUIE
?GUIE ?SCREEN)
(
not
(
instance
?GUIE
InterfaceWindow
))
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
properPart
?GUIE ?WINDOW))
ComputerInput.kif 1920-1929
If
a GUI element
is an
instance
of
interface window
and
another GUI element
is an
instance
of
GUI element
and
the GUI element
is
displayed
on
a computer screen
and
the other GUI element
is
displayed
on
the computer screen
and
the other GUI element
is not an
instance
of
interface window
and
the GUI element
has
state
GUE active state
and
the other GUI element
has
state
GUE active state
,
then
the other GUI element
is a
proper
part
of
the GUI element
(=>
(
and
(
instance
?WINDOW1
InterfaceWindow
)
(
instance
?WINDOW2
InterfaceWindow
)
(
screenOfGUIE
?WINDOW1 ?SCREEN)
(
screenOfGUIE
?WINDOW2 ?SCREEN)
(
hasGUEState
?WINDOW1
GUE_ActiveState
)
(
hasGUEState
?WINDOW1
GUE_ActiveState
))
(
equal
?WINDOW1 ?WINDOW2))
ComputerInput.kif 1896-1904
If
a GUI element
is an
instance
of
interface window
and
another GUI element
is an
instance
of
interface window
and
the GUI element
is
displayed
on
a computer screen
and
the other GUI element
is
displayed
on
the computer screen
and
the GUI element
has
state
GUE active state
and
the GUI element
has
state
GUE active state
,
then
the GUI element
is
equal
to
the other GUI element
(=>
(
and
(
instance
?WINDOW_A
InterfaceWindow
)
(
instance
?WINDOW_P
InterfaceWindow
)
(
screenOfGUIE
?WINDOW_A ?SCREEN)
(
screenOfGUIE
?WINDOW_P ?SCREEN)
(
hasGUEState
?WINDOW_A
GUE_ActiveState
)
(
not
(
equal
?WINDOW_A ?WINDOW_P)))
(
hasGUEState
?WINDOW_P
GUE_PassiveState
))
ComputerInput.kif 1964-1972
If
an entity
_A is an
instance
of
interface window
and
the entity
_P is an
instance
of
interface window
and
the entity
_A is
displayed
on
a computer screen
and
the entity
_P is
displayed
on
the computer screen
and
the entity
_A has
state
GUE active state
and
the entity
_A is not
equal
to
the entity
_P,
then
the entity
_P has
state
GUE passive state
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
If
a GUI element
has
state
GUE maximized window state
,
then
the GUI element
is an
instance
of
interface window
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
If
a GUI element
has
state
GUE vertically maximized window state
,
then
the GUI element
is an
instance
of
interface window
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
If
a GUI element
has
state
GUE uncovered state
,
then
the GUI element
has
state
GUE displayed state
or
the GUI element
has
state
GUE offscreen state
consequent
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
If
a GUI element
has
state
GUE uncovered state
and
the GUI element
has
state
GUE maximized window state
and
the GUI element
is
displayed
on
a computer screen
and
another GUI element
is an
instance
of
interface window
and
the other GUI element
is
displayed
on
the computer screen
and
the GUI element
is not
equal
to
the other GUI element
,
then
the other GUI element
has
state
GUE covered state
or
the other GUI element
has
state
GUE partially covered state
or
the other GUI element
has
state
GUE offscreen state
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
If
a GUI element
has
state
GUE uncovered state
and
the GUI element
has
state
GUE maximized window state
,
then
the GUI element
has
state
GUE active state
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
BeginFn
?ACT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2268-2277
If
a time interval
is an
instance
of
activating UI element
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
GUI element
,
then
the entity
has
state
GUE active state
holds
during
the
end
of
the time interval
and not
the entity
has
state
GUE active state
holds
during
the
beginning
of
the time interval
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE uncovered state
,
then not
the entity
has
state
the attribute
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE uncovered state
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
If
a GUI element
is an
instance
of
GUI element
and
the GUI element
has
state
GUE active state
and
the GUI element
is a
proper
part
of
another GUI element
and
the other GUI element
is an
instance
of
GUI element
,
then
the other GUI element
has
state
GUE active state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_CoveredState
))
(
hasGUEState
?GUIE_SM
GUE_CoveredState
))
ComputerInput.kif 2082-2088
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE covered state
,
then
the entity
_SM has
state
GUE covered state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_NonVisibleState
))
(
hasGUEState
?GUIE_SM
GUE_NonVisibleState
))
ComputerInput.kif 2001-2007
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE non visible state
,
then
the entity
_SM has
state
GUE non visible state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_OffscreenState
))
(
hasGUEState
?GUIE_SM
GUE_OffscreenState
))
ComputerInput.kif 2029-2035
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE offscreen state
,
then
the entity
_SM has
state
GUE offscreen state
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_PassiveState
))
(
hasGUEState
?GUIE_SM
GUE_PassiveState
))
ComputerInput.kif 1977-1983
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE passive state
,
then
the entity
_SM has
state
GUE passive state
(=>
(
and
(
instance
?OPEN
MaximizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
)))))
ComputerInput.kif 2469-2478
If
a process
is an
instance
of
maximizing graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE maximized window state
holds
during
the
end
of the
time
of existence of
the process
and not
the entity
has
state
GUE maximized window state
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
and
(
instance
?OPEN
MinimizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2451-2460
If
a process
is an
instance
of
minimizing graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE minimized state
holds
during
the
end
of the
time
of existence of
the process
and not
the entity
has
state
GUE minimized state
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
and
(
instance
?OPEN
ReopeningGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2389-2398
If
a process
is an
instance
of
reopening graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE minimized state
holds
during
the
beginning
of the
time
of existence of
the process
and not
the entity
has
state
GUE minimized state
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
If
a time interval
is an
instance
of
selecting active area
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
GUI active area
,
then not
the entity
has
state
GUE selected state
holds
during
the
beginning
of
the time interval
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
If
a time interval
is an
instance
of
selecting active area
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
GUI active area
,
then
the entity
has
state
GUE selected state
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?UNMAX
UnmaximizingGraphicalWindow
)
(
patient
?UNMAX ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?UNMAX))
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
holdsDuring
(
EndFn
(
WhenFn
?UNMAX))
(
not
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
)))))
ComputerInput.kif 2486-2495
If
a process
is an
instance
of
unmaximizing graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE maximized window state
holds
during
the
beginning
of the
time
of existence of
the process
and not
the entity
has
state
GUE maximized window state
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?WINDOW_A
InterfaceWindow
)
(
instance
?WINDOW_P
InterfaceWindow
)
(
screenOfGUIE
?WINDOW_A ?SCREEN)
(
screenOfGUIE
?WINDOW_P ?SCREEN)
(
hasGUEState
?WINDOW_A
GUE_ActiveState
)
(
not
(
equal
?WINDOW_A ?WINDOW_P)))
(
hasGUEState
?WINDOW_P
GUE_PassiveState
))
ComputerInput.kif 1964-1972
If
an entity
_A is an
instance
of
interface window
and
the entity
_P is an
instance
of
interface window
and
the entity
_A is
displayed
on
a computer screen
and
the entity
_P is
displayed
on
the computer screen
and
the entity
_A has
state
GUE active state
and
the entity
_A is not
equal
to
the entity
_P,
then
the entity
_P has
state
GUE passive state
(=>
(
guiElementCovered
?COVERING ?GUIE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COVERING))
(
or
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
)
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
(
holdsDuring
(
EndFn
(
WhenFn
?COVERING))
(
hasGUEState
?GUIE
GUE_CoveredState
))))
ComputerInput.kif 2529-2537
If
a covering GUI element
covers
a GUI element
,
then
the GUI element
has
state
GUE partially covered state
or
the GUI element
has
state
GUE uncovered state
holds
during
the
beginning
of the
time
of existence of
the covering GUI element
and
the GUI element
has
state
GUE covered state
holds
during
the
end
of the
time
of existence of
the covering GUI element
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
If
an entity
_BOTTOM is
covered
by
the entity
_TOP,
then
the entity
_BOTTOM has
state
GUE covered state
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
)))
ComputerInput.kif 2574-2577
If
a partially covering graphical window
partially
covers
a GUI element
,
then
the GUI element
has
state
GUE partially covered state
holds
during
the
end
of the
time
of existence of
the partially covering graphical window
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2582-2588
If
a partially covering graphical window
partially
covers
a GUI element
,
then
the GUI element
has
state
GUE uncovered state
holds
during
the
beginning
of the
time
of existence of
the partially covering graphical window
or
the GUI element
has
state
GUE partially covered state
holds
during
the
beginning
of the
time
of existence of
the partially covering graphical window
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
ComputerInput.kif 2641-2644
If
an uncovering graphical window
uncovers
a GUI element
,
then
the GUI element
has
state
GUE uncovered state
holds
during
the
end
of the
time
of existence of
the uncovering graphical window
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_CoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2649-2655
If
an uncovering graphical window
uncovers
a GUI element
,
then
the GUI element
has
state
GUE covered state
holds
during
the
beginning
of the
time
of existence of
the uncovering graphical window
or
the GUI element
has
state
GUE partially covered state
holds
during
the
beginning
of the
time
of existence of
the uncovering graphical window
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
If
a GUI element
has
state
GUE uncovered state
,
then
the GUI element
has
state
GUE displayed state
or
the GUI element
has
state
GUE offscreen state
(=>
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_DisplayedState
))
ComputerInput.kif 1990-1992
If
a GUI element
is an
instance
of
mouse cursor
,
then
the GUI element
has
state
GUE displayed state
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
and
(
hasGUEState
?WINDOW
GUE_NonVisibleState
)
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
instance
?WINDOW
InterfaceWindow
)))
ComputerInput.kif 2011-2015
~{
A GUI element
has
state
GUE non visible state
} or ~{
the GUI element
has
state
GUE active state
} or ~{
the GUI element
is an
instance
of
interface window
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
A GUI element
is an
instance
of
cursor
} or ~{
the GUI element
has
state
GUE selected state
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
A GUI element
is an
instance
of
mouse cursor
} or ~{
the GUI element
has
state
GUE active state
}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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