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
Die Zahl 1 Argument von
hasGUEState
ist ein
fall
von
GUIElement
%n{nicht}
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
Die Zahl 2 Argument von
hasGUEState
ist ein
fall
von
GUElementState
%n{nicht}
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
hasGUEState
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
hasGUEState
ist eine
teilrelation
von
attribut
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
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
und
hasGUEState
** GUIElement
and
GUE_MaximizedWindowState
und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
** GUIElement
ist gleich
** ** GUIElement
nicht,
dann
hasGUEState
** ** GUIElement
and
GUE_CoveredState
oder
hasGUEState
** ** GUIElement
and
GUE_PartiallyCoveredState
oder
hasGUEState
** ** GUIElement
and
GUE_OffscreenState
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
und
hasGUEState
** GUIElement
and
GUE_MaximizedWindowState
,
dann
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
Wenn
TimeInterval
ist ein
fall
von
BringingGEToFront
%n{nicht} und
Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht} und
hasGUEState
** Entity
and
Attribute
haelt
waehrend
der
anfang
von
** TimeInterval
%n{nicht} und
** Attribute
wird
GUE_UncoveredState
entgegengesetzet
%n{nicht},
dann
hasGUEState
** Entity
and
** Attribute
haelt
waehrend
das
ende
von
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
Wenn
GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht} und
** ** GUIElement
ist ein
fall
von
GUIElement
%n{nicht},
dann
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
Wenn
GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
** GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
** GUIElement
ist ein
fall
von
InterfaceWindow
nicht und
** ** GUIElement
ist ein
fall
von
InterfaceWindow
nicht und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
hasGUEState
** ** GUIElement
and
GUE_ActiveState
,
dann
** GUIElement
ist ein
korrektes
teil von
** ** GUIElement
%n{nicht} oder
** ** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht} oder
** GUIElement
ist gleich
** ** GUIElement
%n{nicht}
(=>
(
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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_CoveredState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_NonVisibleState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_OffscreenState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_PassiveState
,
dann
hasGUEState
** entity
_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
Wenn
GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
** GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
** ** GUIElement
ist ein
fall
von
InterfaceWindow
nicht und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
hasGUEState
** ** GUIElement
and
GUE_ActiveState
,
dann
** ** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht}
(=>
(
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
Wenn
GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
hasGUEState
** GUIElement
and
GUE_ActiveState
,
dann
** GUIElement
ist gleich
** ** GUIElement
%n{nicht}
(=>
(
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
Wenn
entity
_A ist ein
fall
von
InterfaceWindow
%n{nicht} und
** entity
_P ist ein
fall
von
InterfaceWindow
%n{nicht} und
screenOfGUIE
** entity
_A and
ComputerScreen
und
screenOfGUIE
** entity
_P and
** ComputerScreen
und
hasGUEState
** entity
_A and
GUE_ActiveState
und
** entity
_A ist gleich
** entity
_P nicht,
dann
hasGUEState
** entity
_P and
GUE_PassiveState
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
Wenn
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
,
dann
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht}
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
Wenn
hasGUEState
GUIElement
and
GUE_VerticallyMaximizedWindowState
,
dann
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht}
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
,
dann
hasGUEState
** GUIElement
and
GUE_DisplayedState
oder
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
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
und
hasGUEState
** GUIElement
and
GUE_MaximizedWindowState
und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
** GUIElement
ist gleich
** ** GUIElement
nicht,
dann
hasGUEState
** ** GUIElement
and
GUE_CoveredState
oder
hasGUEState
** ** GUIElement
and
GUE_PartiallyCoveredState
oder
hasGUEState
** ** GUIElement
and
GUE_OffscreenState
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
und
hasGUEState
** GUIElement
and
GUE_MaximizedWindowState
,
dann
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
Wenn
TimeInterval
ist ein
fall
von
ActivatingUIElement
%n{nicht} und
Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
fall
von
GUIElement
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_ActiveState
haelt
waehrend
das
ende
von
** TimeInterval
%n{nicht} und
hasGUEState
** Entity
and
GUE_ActiveState
haelt
waehrend
der
anfang
von
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
BringingGEToFront
%n{nicht} und
Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht} und
hasGUEState
** Entity
and
Attribute
haelt
waehrend
der
anfang
von
** TimeInterval
%n{nicht} und
** Attribute
wird
GUE_UncoveredState
entgegengesetzet
%n{nicht},
dann
hasGUEState
** Entity
and
** Attribute
haelt
waehrend
das
ende
von
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
Wenn
TimeInterval
ist ein
fall
von
BringingGEToFront
%n{nicht} und
Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_UncoveredState
haelt
waehrend
das
ende
von
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
Wenn
GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht} und
** ** GUIElement
ist ein
fall
von
GUIElement
%n{nicht},
dann
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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_CoveredState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_NonVisibleState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_OffscreenState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_PassiveState
,
dann
hasGUEState
** entity
_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
Wenn
Process
ist ein
fall
von
MaximizingGraphicalWindow
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_MaximizedWindowState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
hasGUEState
** Entity
and
GUE_MaximizedWindowState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
MinimizingGraphicalWindow
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_MinimizedState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
hasGUEState
** Entity
and
GUE_MinimizedState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
ReopeningGraphicalWindow
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_MinimizedState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
hasGUEState
** Entity
and
GUE_MinimizedState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
Wenn
TimeInterval
ist ein
fall
von
SelectingActiveArea
%n{nicht} und
Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
fall
von
GUIActiveArea
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_SelectedState
haelt
waehrend
der
anfang
von
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
Wenn
TimeInterval
ist ein
fall
von
SelectingActiveArea
%n{nicht} und
Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
fall
von
GUIActiveArea
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_SelectedState
haelt
waehrend
das
ende
von
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
UnmaximizingGraphicalWindow
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
InterfaceWindow
%n{nicht},
dann
hasGUEState
** Entity
and
GUE_MaximizedWindowState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
hasGUEState
** Entity
and
GUE_MaximizedWindowState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
entity
_A ist ein
fall
von
InterfaceWindow
%n{nicht} und
** entity
_P ist ein
fall
von
InterfaceWindow
%n{nicht} und
screenOfGUIE
** entity
_A and
ComputerScreen
und
screenOfGUIE
** entity
_P and
** ComputerScreen
und
hasGUEState
** entity
_A and
GUE_ActiveState
und
** entity
_A ist gleich
** entity
_P nicht,
dann
hasGUEState
** entity
_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
Wenn
guiElementCovered
CoveringGUIElement
and
GUIElement
,
dann
hasGUEState
** GUIElement
and
GUE_PartiallyCoveredState
oder
hasGUEState
** GUIElement
and
GUE_UncoveredState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** CoveringGUIElement
%n{nicht} und
hasGUEState
** GUIElement
and
GUE_CoveredState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** CoveringGUIElement
%n{nicht}
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
Wenn
guiElementCoveredBy
entity
_BOTTOM and
** entity
_TOP,
dann
hasGUEState
** entity
_BOTTOM and
GUE_CoveredState
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
)))
ComputerInput.kif 2574-2577
Wenn
guiElementPartiallyCovered
PartiallyCoveringGraphicalWindow
and
GUIElement
,
dann
hasGUEState
** GUIElement
and
GUE_PartiallyCoveredState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** PartiallyCoveringGraphicalWindow
%n{nicht}
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2582-2588
Wenn
guiElementPartiallyCovered
PartiallyCoveringGraphicalWindow
and
GUIElement
,
dann
hasGUEState
** GUIElement
and
GUE_UncoveredState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** PartiallyCoveringGraphicalWindow
%n{nicht} oder
hasGUEState
** GUIElement
and
GUE_PartiallyCoveredState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** PartiallyCoveringGraphicalWindow
%n{nicht}
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
ComputerInput.kif 2641-2644
Wenn
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
,
dann
hasGUEState
** GUIElement
and
GUE_UncoveredState
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** UncoveringGraphicalWindow
%n{nicht}
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_CoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2649-2655
Wenn
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
,
dann
hasGUEState
** GUIElement
and
GUE_CoveredState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** UncoveringGraphicalWindow
%n{nicht} oder
hasGUEState
** GUIElement
and
GUE_PartiallyCoveredState
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** UncoveringGraphicalWindow
%n{nicht}
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
,
dann
hasGUEState
** GUIElement
and
GUE_DisplayedState
oder
hasGUEState
** GUIElement
and
GUE_OffscreenState
(=>
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_DisplayedState
))
ComputerInput.kif 1990-1992
Wenn
GUIElement
ist ein
fall
von
MouseCursor
%n{nicht},
dann
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
} oder ~{
hasGUEState
** GUIElement
and
GUE_ActiveState
} oder ~{
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} }
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
ist ein
fall
von
Cursor
%n{nicht} } oder ~{
hasGUEState
** GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
ist ein
fall
von
MouseCursor
%n{nicht} } oder ~{
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