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
O argumento numero 1 de
hasGUEState
e' uma
instancia
de
GUIElement
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
O argumento numero 2 de
hasGUEState
e' uma
instancia
de
GUElementState
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
hasGUEState
e' uma
instancia
de
Predicado Binario
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
hasGUEState
e' uma
sub
-relacao de
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 65849-65849
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
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e'
igual
a
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
hasGUEState
GUIElement
and
GUE_ActiveState
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
BringingGEToFront
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
Atributo
vale
durante o
comeco
de
Intervalo Temporal
Atributo
e' &o oposto de
GUE_UncoveredState
hasGUEState
Entidade
and
Atributo
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
GUIElement
e' uma
instancia
de
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
GUIElement
e' uma
instancia
de
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
(=>
(
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
GUIElement
e' uma
instancia
de
GUIElement
GUIElement
e' uma
instancia
de
GUIElement
GUIElement
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
GUIElement
e' uma &parte de
GUIElement
GUIElement
e'
igual
a
GUIElement
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_CoveredState
hasGUEState
Entidade
_SM and
GUE_CoveredState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_NonVisibleState
hasGUEState
Entidade
_SM and
GUE_NonVisibleState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_OffscreenState
hasGUEState
Entidade
_SM and
GUE_OffscreenState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_PassiveState
hasGUEState
Entidade
_SM and
GUE_PassiveState
(=>
(
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
GUIElement
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
GUIElement
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e' uma
instancia
de
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
(=>
(
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
GUIElement
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e'
igual
a
GUIElement
(=>
(
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
Entidade
_A e' uma
instancia
de
InterfaceWindow
Entidade
_P e' uma
instancia
de
InterfaceWindow
screenOfGUIE
Entidade
_A and
ComputerScreen
screenOfGUIE
Entidade
_P and
ComputerScreen
hasGUEState
Entidade
_A and
GUE_ActiveState
Entidade
_A e'
igual
a
Entidade
_P
hasGUEState
Entidade
_P and
GUE_PassiveState
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
GUIElement
e' uma
instancia
de
InterfaceWindow
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
hasGUEState
GUIElement
and
GUE_VerticallyMaximizedWindowState
GUIElement
e' uma
instancia
de
InterfaceWindow
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_DisplayedState
hasGUEState
GUIElement
and
GUE_OffscreenState
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
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e'
igual
a
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
hasGUEState
GUIElement
and
GUE_ActiveState
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
ActivatingUIElement
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
GUIElement
hasGUEState
Entidade
and
GUE_ActiveState
vale
durante o
fim
de
Intervalo Temporal
hasGUEState
Entidade
and
GUE_ActiveState
vale
durante o
comeco
de
Intervalo Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
BringingGEToFront
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
Atributo
vale
durante o
comeco
de
Intervalo Temporal
Atributo
e' &o oposto de
GUE_UncoveredState
hasGUEState
Entidade
and
Atributo
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
Intervalo Temporal
e' uma
instancia
de
BringingGEToFront
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_UncoveredState
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
GUIElement
e' uma
instancia
de
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
GUIElement
e' uma
instancia
de
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_CoveredState
hasGUEState
Entidade
_SM and
GUE_CoveredState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_NonVisibleState
hasGUEState
Entidade
_SM and
GUE_NonVisibleState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_OffscreenState
hasGUEState
Entidade
_SM and
GUE_OffscreenState
(=>
(
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_PassiveState
hasGUEState
Entidade
_SM and
GUE_PassiveState
(=>
(
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
Processo
e' uma
instancia
de
MaximizingGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MaximizedWindowState
vale
durante o
fim
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MaximizedWindowState
vale
durante o
comeco
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
MinimizingGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
fim
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
comeco
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
ReopeningGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
comeco
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
Intervalo Temporal
e' uma
instancia
de
SelectingActiveArea
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
GUIActiveArea
hasGUEState
Entidade
and
GUE_SelectedState
vale
durante o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
Intervalo Temporal
e' uma
instancia
de
SelectingActiveArea
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
GUIActiveArea
hasGUEState
Entidade
and
GUE_SelectedState
vale
durante o
fim
de
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
UnmaximizingGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MaximizedWindowState
vale
durante o
comeco
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MaximizedWindowState
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Entidade
_A e' uma
instancia
de
InterfaceWindow
Entidade
_P e' uma
instancia
de
InterfaceWindow
screenOfGUIE
Entidade
_A and
ComputerScreen
screenOfGUIE
Entidade
_P and
ComputerScreen
hasGUEState
Entidade
_A and
GUE_ActiveState
Entidade
_A e'
igual
a
Entidade
_P
hasGUEState
Entidade
_P and
GUE_PassiveState
(=>
(
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
guiElementCovered
CoveringGUIElement
and
GUIElement
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_UncoveredState
vale
durante o
comeco
de
tempo
de existencia de
CoveringGUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
vale
durante o
fim
de
tempo
de existencia de
CoveringGUIElement
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
guiElementCoveredBy
Entidade
_BOTTOM and
Entidade
_TOP
hasGUEState
Entidade
_BOTTOM and
GUE_CoveredState
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
)))
ComputerInput.kif 2574-2577
guiElementPartiallyCovered
PartiallyCoveringGraphicalWindow
and
GUIElement
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
vale
durante o
fim
de
tempo
de existencia de
PartiallyCoveringGraphicalWindow
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2582-2588
guiElementPartiallyCovered
PartiallyCoveringGraphicalWindow
and
GUIElement
hasGUEState
GUIElement
and
GUE_UncoveredState
vale
durante o
comeco
de
tempo
de existencia de
PartiallyCoveringGraphicalWindow
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
vale
durante o
comeco
de
tempo
de existencia de
PartiallyCoveringGraphicalWindow
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
ComputerInput.kif 2641-2644
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
hasGUEState
GUIElement
and
GUE_UncoveredState
vale
durante o
fim
de
tempo
de existencia de
UncoveringGraphicalWindow
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_CoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2649-2655
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
vale
durante o
comeco
de
tempo
de existencia de
UncoveringGraphicalWindow
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
vale
durante o
comeco
de
tempo
de existencia de
UncoveringGraphicalWindow
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_DisplayedState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_DisplayedState
))
ComputerInput.kif 1990-1992
GUIElement
e' uma
instancia
de
MouseCursor
hasGUEState
GUIElement
and
GUE_DisplayedState
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
~{
hasGUEState
GUIElement
and
GUE_NonVisibleState
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
} ~{
GUIElement
e' uma
instancia
de
InterfaceWindow
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
e' uma
instancia
de
Cursor
} ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
e' uma
instancia
de
MouseCursor
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
}
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