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
域
hasGUEState
, 1 and
GUIElement
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
域
hasGUEState
, 2 and
GUElementState
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
例
hasGUEState
and
BinaryPredicate
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
子關係
hasGUEState
and
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
GUIElement
有
state
GUE_UncoveredState
GUIElement
有
state
GUE_MaximizedWindowState
GUIElement
是
displayed
在
ComputerScreen
例
GUIElement
and
InterfaceWindow
GUIElement
是
displayed
在
ComputerScreen
等於
GUIElement
and
GUIElement
GUIElement
有
state
GUE_CoveredState
GUIElement
有
state
GUE_PartiallyCoveredState
GUIElement
有
state
GUE_OffscreenState
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
GUIElement
有
state
GUE_UncoveredState
GUIElement
有
state
GUE_MaximizedWindowState
GUIElement
有
state
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
例
TimeInterval
and
BringingGEToFront
患者
TimeInterval
and
Entity
例
Entity
and
InterfaceWindow
持有期間
開始
TimeInterval
and
Entity
有
state
Attribute
相反的屬性
Attribute
and
GUE_UncoveredState
持有期間
結束
TimeInterval
and
Entity
有
state
Attribute
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
例
GUIElement
and
GUIElement
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
例
GUIElement
and
GUIElement
GUIElement
有
state
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
and
GUIElement
例
GUIElement
and
GUIElement
例
GUIElement
and
InterfaceWindow
例
GUIElement
and
InterfaceWindow
GUIElement
是
displayed
在
ComputerScreen
GUIElement
是
displayed
在
ComputerScreen
GUIElement
有
state
GUE_ActiveState
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
適當的部分
GUIElement
and
GUIElement
等於
GUIElement
and
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_CoveredState
entity
_SM 有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_NonVisibleState
entity
_SM 有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_OffscreenState
entity
_SM 有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_PassiveState
entity
_SM 有
state
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
and
InterfaceWindow
例
GUIElement
and
GUIElement
GUIElement
是
displayed
在
ComputerScreen
GUIElement
是
displayed
在
ComputerScreen
例
GUIElement
and
InterfaceWindow
GUIElement
有
state
GUE_ActiveState
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
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
and
InterfaceWindow
例
GUIElement
and
InterfaceWindow
GUIElement
是
displayed
在
ComputerScreen
GUIElement
是
displayed
在
ComputerScreen
GUIElement
有
state
GUE_ActiveState
GUIElement
有
state
GUE_ActiveState
等於
GUIElement
and
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
例
entity
_A and
InterfaceWindow
例
entity
_P and
InterfaceWindow
entity
_A 是
displayed
在
ComputerScreen
entity
_P 是
displayed
在
ComputerScreen
entity
_A 有
state
GUE_ActiveState
等於
entity
_A and
entity
_P
entity
_P 有
state
GUE_PassiveState
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
GUIElement
有
state
GUE_MaximizedWindowState
例
GUIElement
and
InterfaceWindow
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
GUIElement
有
state
GUE_VerticallyMaximizedWindowState
例
GUIElement
and
InterfaceWindow
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
GUIElement
有
state
GUE_UncoveredState
GUIElement
有
state
GUE_DisplayedState
GUIElement
有
state
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
GUIElement
有
state
GUE_UncoveredState
GUIElement
有
state
GUE_MaximizedWindowState
GUIElement
是
displayed
在
ComputerScreen
例
GUIElement
and
InterfaceWindow
GUIElement
是
displayed
在
ComputerScreen
等於
GUIElement
and
GUIElement
GUIElement
有
state
GUE_CoveredState
GUIElement
有
state
GUE_PartiallyCoveredState
GUIElement
有
state
GUE_OffscreenState
(=>
(
and
(
hasGUEState
?WINDOW
GUE_UncoveredState
)
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
hasGUEState
?WINDOW
GUE_ActiveState
))
ComputerInput.kif 2104-2108
GUIElement
有
state
GUE_UncoveredState
GUIElement
有
state
GUE_MaximizedWindowState
GUIElement
有
state
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
例
TimeInterval
and
ActivatingUIElement
患者
TimeInterval
and
Entity
例
Entity
and
GUIElement
持有期間
結束
TimeInterval
and
Entity
有
state
GUE_ActiveState
持有期間
開始
TimeInterval
and
Entity
有
state
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
例
TimeInterval
and
BringingGEToFront
患者
TimeInterval
and
Entity
例
Entity
and
InterfaceWindow
持有期間
開始
TimeInterval
and
Entity
有
state
Attribute
相反的屬性
Attribute
and
GUE_UncoveredState
持有期間
結束
TimeInterval
and
Entity
有
state
Attribute
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
例
TimeInterval
and
BringingGEToFront
患者
TimeInterval
and
Entity
例
Entity
and
InterfaceWindow
持有期間
結束
TimeInterval
and
Entity
有
state
GUE_UncoveredState
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
例
GUIElement
and
GUIElement
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
例
GUIElement
and
GUIElement
GUIElement
有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_CoveredState
entity
_SM 有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_NonVisibleState
entity
_SM 有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_OffscreenState
entity
_SM 有
state
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
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_PassiveState
entity
_SM 有
state
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
例
Process
and
MaximizingGraphicalWindow
患者
Process
and
Entity
例
Entity
and
InterfaceWindow
持有期間
結束
何時
Process
and
Entity
有
state
GUE_MaximizedWindowState
持有期間
開始
何時
Process
and
Entity
有
state
GUE_MaximizedWindowState
(=>
(
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
例
Process
and
MinimizingGraphicalWindow
患者
Process
and
Entity
例
Entity
and
InterfaceWindow
持有期間
結束
何時
Process
and
Entity
有
state
GUE_MinimizedState
持有期間
開始
何時
Process
and
Entity
有
state
GUE_MinimizedState
(=>
(
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
例
Process
and
ReopeningGraphicalWindow
患者
Process
and
Entity
例
Entity
and
InterfaceWindow
持有期間
開始
何時
Process
and
Entity
有
state
GUE_MinimizedState
持有期間
結束
何時
Process
and
Entity
有
state
GUE_MinimizedState
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
例
TimeInterval
and
SelectingActiveArea
患者
TimeInterval
and
Entity
例
Entity
and
GUIActiveArea
持有期間
開始
TimeInterval
and
Entity
有
state
GUE_SelectedState
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
例
TimeInterval
and
SelectingActiveArea
患者
TimeInterval
and
Entity
例
Entity
and
GUIActiveArea
持有期間
結束
TimeInterval
and
Entity
有
state
GUE_SelectedState
(=>
(
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
例
Process
and
UnmaximizingGraphicalWindow
患者
Process
and
Entity
例
Entity
and
InterfaceWindow
持有期間
開始
何時
Process
and
Entity
有
state
GUE_MaximizedWindowState
持有期間
結束
何時
Process
and
Entity
有
state
GUE_MaximizedWindowState
(=>
(
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
例
entity
_A and
InterfaceWindow
例
entity
_P and
InterfaceWindow
entity
_A 是
displayed
在
ComputerScreen
entity
_P 是
displayed
在
ComputerScreen
entity
_A 有
state
GUE_ActiveState
等於
entity
_A and
entity
_P
entity
_P 有
state
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
%
CoveringGUIElement
covers
GUIElement
持有期間
開始
何時
CoveringGUIElement
and
GUIElement
有
state
GUE_PartiallyCoveredState
GUIElement
有
state
GUE_UncoveredState
持有期間
結束
何時
CoveringGUIElement
and
GUIElement
有
state
GUE_CoveredState
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
Entity
_BOTTOM 是由
entity
_TOP
covered
entity
_BOTTOM 有
state
GUE_CoveredState
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
)))
ComputerInput.kif 2574-2577
PartiallyCoveringGraphicalWindow
partially
covers
GUIElement
持有期間
結束
何時
PartiallyCoveringGraphicalWindow
and
GUIElement
有
state
GUE_PartiallyCoveredState
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2582-2588
PartiallyCoveringGraphicalWindow
partially
covers
GUIElement
持有期間
開始
何時
PartiallyCoveringGraphicalWindow
and
GUIElement
有
state
GUE_UncoveredState
持有期間
開始
何時
PartiallyCoveringGraphicalWindow
and
GUIElement
有
state
GUE_PartiallyCoveredState
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
ComputerInput.kif 2641-2644
UncoveringGraphicalWindow
uncovers
GUIElement
持有期間
結束
何時
UncoveringGraphicalWindow
and
GUIElement
有
state
GUE_UncoveredState
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
or
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_CoveredState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
))))
ComputerInput.kif 2649-2655
UncoveringGraphicalWindow
uncovers
GUIElement
持有期間
開始
何時
UncoveringGraphicalWindow
and
GUIElement
有
state
GUE_CoveredState
持有期間
開始
何時
UncoveringGraphicalWindow
and
GUIElement
有
state
GUE_PartiallyCoveredState
(=>
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
or
(
hasGUEState
?WIN1
GUE_DisplayedState
)
(
hasGUEState
?WIN1
GUE_OffscreenState
)))
ComputerInput.kif 2096-2100
GUIElement
有
state
GUE_UncoveredState
GUIElement
有
state
GUE_DisplayedState
GUIElement
有
state
GUE_OffscreenState
(=>
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_DisplayedState
))
ComputerInput.kif 1990-1992
例
GUIElement
and
MouseCursor
GUIElement
有
state
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
~{
GUIElement
有
state
GUE_NonVisibleState
} ~{
GUIElement
有
state
GUE_ActiveState
} ~{
例
GUIElement
and
InterfaceWindow
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
例
GUIElement
and
Cursor
} ~{
GUIElement
有
state
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
例
GUIElement
and
MouseCursor
} ~{
GUIElement
有
state
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