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
Il numero 1 argomenti di
hasGUEState
è un
istanza
di
GUIElement
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
Il numero 2 argomenti di
hasGUEState
è un
istanza
di
GUElementState
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
hasGUEState
è un'
istanza
di
PredicatoBinario
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
hasGUEState
è una
sottorelazione
di
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
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
is
uguale
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
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
Attributo
vales
durante
l'
inizio
di
IntervalloTemporale
Attributo
è
opposto
a
GUE_UncoveredState
hasGUEState
Entit�
and
Attributo
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
GUIElement
è un'
istanza
di
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
è un'
istanza
di
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
è un'
istanza
di
GUIElement
GUIElement
è un'
istanza
di
GUIElement
GUIElement
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
is
uguale
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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_CoveredState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_NonVisibleState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_OffscreenState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_PassiveState
hasGUEState
Entit�
_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
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
GUIElement
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
è un'
istanza
di
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
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
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
is
uguale
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
Entit�
_A è un'
istanza
di
InterfaceWindow
Entit�
_P è un'
istanza
di
InterfaceWindow
screenOfGUIE
Entit�
_A and
ComputerScreen
screenOfGUIE
Entit�
_P and
ComputerScreen
hasGUEState
Entit�
_A and
GUE_ActiveState
Entit�
_A is
uguale
a
Entit�
_P
hasGUEState
Entit�
_P and
GUE_PassiveState
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
GUIElement
è un'
istanza
di
InterfaceWindow
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
hasGUEState
GUIElement
and
GUE_VerticallyMaximizedWindowState
GUIElement
è un'
istanza
di
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
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
is
uguale
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
IntervalloTemporale
è un'
istanza
di
ActivatingUIElement
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
GUIElement
hasGUEState
Entit�
and
GUE_ActiveState
vales
durante
la
fine
di
IntervalloTemporale
hasGUEState
Entit�
and
GUE_ActiveState
vales
durante
l'
inizio
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
Attributo
vales
durante
l'
inizio
di
IntervalloTemporale
Attributo
è
opposto
a
GUE_UncoveredState
hasGUEState
Entit�
and
Attributo
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
GUE_UncoveredState
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
GUIElement
è un'
istanza
di
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
è un'
istanza
di
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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_CoveredState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_NonVisibleState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_OffscreenState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_PassiveState
hasGUEState
Entit�
_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
è un'
istanza
di
MaximizingGraphicalWindow
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
GUE_MaximizedWindowState
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
hasGUEState
Entit�
and
GUE_MaximizedWindowState
vales
durante
l'
inizio
di il
tempo
di esistenza di
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
è un'
istanza
di
MinimizingGraphicalWindow
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
GUE_MinimizedState
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
hasGUEState
Entit�
and
GUE_MinimizedState
vales
durante
l'
inizio
di il
tempo
di esistenza di
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
è un'
istanza
di
ReopeningGraphicalWindow
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
GUE_MinimizedState
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
hasGUEState
Entit�
and
GUE_MinimizedState
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
IntervalloTemporale
è un'
istanza
di
SelectingActiveArea
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
GUIActiveArea
hasGUEState
Entit�
and
GUE_SelectedState
vales
durante
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
IntervalloTemporale
è un'
istanza
di
SelectingActiveArea
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
GUIActiveArea
hasGUEState
Entit�
and
GUE_SelectedState
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
è un'
istanza
di
UnmaximizingGraphicalWindow
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
GUE_MaximizedWindowState
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
hasGUEState
Entit�
and
GUE_MaximizedWindowState
vales
durante
la
fine
di il
tempo
di esistenza di
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
Entit�
_A è un'
istanza
di
InterfaceWindow
Entit�
_P è un'
istanza
di
InterfaceWindow
screenOfGUIE
Entit�
_A and
ComputerScreen
screenOfGUIE
Entit�
_P and
ComputerScreen
hasGUEState
Entit�
_A and
GUE_ActiveState
Entit�
_A is
uguale
a
Entit�
_P
hasGUEState
Entit�
_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
vales
durante
l'
inizio
di il
tempo
di esistenza di
CoveringGUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
vales
durante
la
fine
di il
tempo
di esistenza di
CoveringGUIElement
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
guiElementCoveredBy
Entit�
_BOTTOM and
Entit�
_TOP
hasGUEState
Entit�
_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
vales
durante
la
fine
di il
tempo
di esistenza di
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
vales
durante
l'
inizio
di il
tempo
di esistenza di
PartiallyCoveringGraphicalWindow
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
vales
durante
l'
inizio
di il
tempo
di esistenza di
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
vales
durante
la
fine
di il
tempo
di esistenza di
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
vales
durante
l'
inizio
di il
tempo
di esistenza di
UncoveringGraphicalWindow
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
vales
durante
l'
inizio
di il
tempo
di esistenza di
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
è un'
istanza
di
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
è un'
istanza
di
InterfaceWindow
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
è un'
istanza
di
Cursor
} ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
è un'
istanza
di
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