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 数量 是
GUIElement
的
instance
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
hasGUEState
的 2 数量 是
GUElementState
的
instance
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
hasGUEState
是
二元谓语
的
instance
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
hasGUEState
是
属于
的
subrelation
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
是
InterfaceWindow
的
instance
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
不
equal
那个 另外 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
如果
时距
是
BringingGEToFront
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
和
那个 实体
有
state
属性
在
那个 时距
的开始
holdsDuring
和
那个 属性
是
GUE_UncoveredState
的相反,
然后 不
那个 实体
有
state
那个 属性
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
如果
GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 GUIElement
是
另一个 GUIElement
的
properPart
和
那个 另外 GUIElement
是
GUIElement
的
instance
,
然后
那个 另外 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
是
GUIElement
的
instance
和
另一个 GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 另外 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 另外 GUIElement
有
state
GUE_ActiveState
,
然后
那个 GUIElement
是
那个 另外 GUIElement
的
properPart
或
那个 另外 GUIElement
是
那个 GUIElement
的
properPart
或
那个 GUIElement
equal
那个 另外 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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_CoveredState
,
然后
那个 实体
_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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_NonVisibleState
,
然后
那个 实体
_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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_OffscreenState
,
然后
那个 实体
_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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_PassiveState
,
然后
那个 实体
_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
是
InterfaceWindow
的
instance
和
另一个 GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 另外 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 另外 GUIElement
有
state
GUE_ActiveState
,
然后
那个 另外 GUIElement
是
那个 GUIElement
的
properPart
(=>
(
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
是
InterfaceWindow
的
instance
和
另一个 GUIElement
是
InterfaceWindow
的
instance
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 GUIElement
有
state
GUE_ActiveState
,
然后
那个 GUIElement
equal
那个 另外 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
如果
实体
_A 是
InterfaceWindow
的
instance
和
那个 实体
_P 是
InterfaceWindow
的
instance
和
那个 实体
_A 是
displayed
在
ComputerScreen
和
那个 实体
_P 是
displayed
在
那个 ComputerScreen
和
那个 实体
_A 有
state
GUE_ActiveState
和
那个 实体
_A 不
equal
那个 实体
_P,
然后
那个 实体
_P 有
state
GUE_PassiveState
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
如果
GUIElement
有
state
GUE_MaximizedWindowState
,
然后
那个 GUIElement
是
InterfaceWindow
的
instance
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
如果
GUIElement
有
state
GUE_VerticallyMaximizedWindowState
,
然后
那个 GUIElement
是
InterfaceWindow
的
instance
(=>
(
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
是
InterfaceWindow
的
instance
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
不
equal
那个 另外 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
如果
时距
是
ActivatingUIElement
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
GUIElement
的
instance
,
然后
那个 实体
有
state
GUE_ActiveState
在
那个 时距
的结束
holdsDuring
和 不
那个 实体
有
state
GUE_ActiveState
在
那个 时距
的开始
holdsDuring
(=>
(
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
如果
时距
是
BringingGEToFront
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
和
那个 实体
有
state
属性
在
那个 时距
的开始
holdsDuring
和
那个 属性
是
GUE_UncoveredState
的相反,
然后 不
那个 实体
有
state
那个 属性
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
如果
时距
是
BringingGEToFront
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
,
然后
那个 实体
有
state
GUE_UncoveredState
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
如果
GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 GUIElement
是
另一个 GUIElement
的
properPart
和
那个 另外 GUIElement
是
GUIElement
的
instance
,
然后
那个 另外 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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_CoveredState
,
然后
那个 实体
_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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_NonVisibleState
,
然后
那个 实体
_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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_OffscreenState
,
然后
那个 实体
_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
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_PassiveState
,
然后
那个 实体
_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
如果
过程
是
MaximizingGraphicalWindow
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
,
然后
那个 实体
有
state
GUE_MaximizedWindowState
在
那个 过程
出现 的
time
的结束
holdsDuring
和 不
那个 实体
有
state
GUE_MaximizedWindowState
在
那个 过程
出现 的
time
的开始
holdsDuring
(=>
(
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
如果
过程
是
MinimizingGraphicalWindow
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
,
然后
那个 实体
有
state
GUE_MinimizedState
在
那个 过程
出现 的
time
的结束
holdsDuring
和 不
那个 实体
有
state
GUE_MinimizedState
在
那个 过程
出现 的
time
的开始
holdsDuring
(=>
(
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
如果
过程
是
ReopeningGraphicalWindow
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
,
然后
那个 实体
有
state
GUE_MinimizedState
在
那个 过程
出现 的
time
的开始
holdsDuring
和 不
那个 实体
有
state
GUE_MinimizedState
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
如果
时距
是
SelectingActiveArea
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
GUIActiveArea
的
instance
,
然后 不
那个 实体
有
state
GUE_SelectedState
在
那个 时距
的开始
holdsDuring
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
如果
时距
是
SelectingActiveArea
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
GUIActiveArea
的
instance
,
然后
那个 实体
有
state
GUE_SelectedState
在
那个 时距
的结束
holdsDuring
(=>
(
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
如果
过程
是
UnmaximizingGraphicalWindow
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
,
然后
那个 实体
有
state
GUE_MaximizedWindowState
在
那个 过程
出现 的
time
的开始
holdsDuring
和 不
那个 实体
有
state
GUE_MaximizedWindowState
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
实体
_A 是
InterfaceWindow
的
instance
和
那个 实体
_P 是
InterfaceWindow
的
instance
和
那个 实体
_A 是
displayed
在
ComputerScreen
和
那个 实体
_P 是
displayed
在
那个 ComputerScreen
和
那个 实体
_A 有
state
GUE_ActiveState
和
那个 实体
_A 不
equal
那个 实体
_P,
然后
那个 实体
_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
,
然后
那个 GUIElement
有
state
GUE_PartiallyCoveredState
或
那个 GUIElement
有
state
GUE_UncoveredState
在
那个 CoveringGUIElement
出现 的
time
的开始
holdsDuring
和
那个 GUIElement
有
state
GUE_CoveredState
在
那个 CoveringGUIElement
出现 的
time
的结束
holdsDuring
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
如果
实体
_BOTTOM 是由
那个 实体
_TOP
covered
,
然后
那个 实体
_BOTTOM 有
state
GUE_CoveredState
(=>
(
guiElementPartiallyCovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_PartiallyCoveredState
)))
ComputerInput.kif 2574-2577
如果
PartiallyCoveringGraphicalWindow
partially
covers
GUIElement
,
然后
那个 GUIElement
有
state
GUE_PartiallyCoveredState
在
那个 PartiallyCoveringGraphicalWindow
出现 的
time
的结束
holdsDuring
(=>
(
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
,
然后
那个 GUIElement
有
state
GUE_UncoveredState
在
那个 PartiallyCoveringGraphicalWindow
出现 的
time
的开始
holdsDuring
或
那个 GUIElement
有
state
GUE_PartiallyCoveredState
在
那个 PartiallyCoveringGraphicalWindow
出现 的
time
的开始
holdsDuring
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
ComputerInput.kif 2641-2644
如果
UncoveringGraphicalWindow
uncovers
GUIElement
,
然后
那个 GUIElement
有
state
GUE_UncoveredState
在
那个 UncoveringGraphicalWindow
出现 的
time
的结束
holdsDuring
(=>
(
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
,
然后
那个 GUIElement
有
state
GUE_CoveredState
在
那个 UncoveringGraphicalWindow
出现 的
time
的开始
holdsDuring
或
那个 GUIElement
有
state
GUE_PartiallyCoveredState
在
那个 UncoveringGraphicalWindow
出现 的
time
的开始
holdsDuring
(=>
(
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
是
MouseCursor
的
instance
,
然后
那个 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
是
InterfaceWindow
的
instance
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
是
Cursor
的
instance
} 或 ~{
那个 GUIElement
有
state
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
是
MouseCursor
的
instance
} 或 ~{
那个 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