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
では %n
(
domain
hasGUEState
2
GUElementState
)
ComputerInput.kif 1884-1884
hasGUEState
の数値 2 引数は
GUElementState
の
instance
では %n
(
instance
hasGUEState
BinaryPredicate
)
ComputerInput.kif 1881-1881
hasGUEState
は
2進述語
の
instance
では %n
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
hasGUEState
は
attribute
の
subrelation
では %n
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
は
InterfaceWindow
の
instance
では %n
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
は
GUIElement
と
equal
では
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
時間間隔
は
BringingGEToFront
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
属性
は
時間間隔
の
beginning
の
during
holds %n{ない}
属性
は
GUE_UncoveredState
の
disjoint
では %n
hasGUEState
エンティティー
and
属性
は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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
では %n
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
instance
では %n
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
は
GUIElement
の
instance
では %n
GUIElement
は
GUIElement
の
instance
では %n
GUIElement
は
InterfaceWindow
の
instance
では
GUIElement
は
InterfaceWindow
の
instance
では
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
と
equal
では %n
(=>
(
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
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_CoveredState
hasGUEState
エンティティー
_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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_NonVisibleState
hasGUEState
エンティティー
_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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_OffscreenState
hasGUEState
エンティティー
_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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_PassiveState
hasGUEState
エンティティー
_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
は
InterfaceWindow
の
instance
では %n
GUIElement
は
GUIElement
の
instance
では %n
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
は
InterfaceWindow
の
instance
では
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
(=>
(
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
では %n
GUIElement
は
InterfaceWindow
の
instance
では %n
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
と
equal
では %n
(=>
(
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
では %n
エンティティー
_P は
InterfaceWindow
の
instance
では %n
screenOfGUIE
エンティティー
_A and
ComputerScreen
screenOfGUIE
エンティティー
_P and
ComputerScreen
hasGUEState
エンティティー
_A and
GUE_ActiveState
エンティティー
_A は
エンティティー
_P と
equal
では
hasGUEState
エンティティー
_P and
GUE_PassiveState
(=>
(
hasGUEState
?GUIE
GUE_MaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2051-2053
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
GUIElement
は
InterfaceWindow
の
instance
では %n
(=>
(
hasGUEState
?GUIE
GUE_VerticallyMaximizedWindowState
)
(
instance
?GUIE
InterfaceWindow
))
ComputerInput.kif 2065-2067
hasGUEState
GUIElement
and
GUE_VerticallyMaximizedWindowState
GUIElement
は
InterfaceWindow
の
instance
では %n
(=>
(
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
は
InterfaceWindow
の
instance
では %n
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
は
GUIElement
と
equal
では
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
時間間隔
は
ActivatingUIElement
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
GUIElement
の
instance
では %n
hasGUEState
エンティティー
and
GUE_ActiveState
は
時間間隔
の
end
の
during
holds %n{ない}
hasGUEState
エンティティー
and
GUE_ActiveState
は
時間間隔
の
beginning
の
during
holds %n{ない}
(=>
(
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
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
属性
は
時間間隔
の
beginning
の
during
holds %n{ない}
属性
は
GUE_UncoveredState
の
disjoint
では %n
hasGUEState
エンティティー
and
属性
は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
時間間隔
は
BringingGEToFront
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
GUE_UncoveredState
は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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
では %n
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
instance
では %n
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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_CoveredState
hasGUEState
エンティティー
_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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_NonVisibleState
hasGUEState
エンティティー
_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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_OffscreenState
hasGUEState
エンティティー
_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
エンティティー
_SM は
GUIElement
の
instance
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_PassiveState
hasGUEState
エンティティー
_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
工程
は
MaximizingGraphicalWindow
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
GUE_MaximizedWindowState
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
hasGUEState
エンティティー
and
GUE_MaximizedWindowState
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
GUE_MinimizedState
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
hasGUEState
エンティティー
and
GUE_MinimizedState
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
GUE_MinimizedState
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
hasGUEState
エンティティー
and
GUE_MinimizedState
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
時間間隔
は
SelectingActiveArea
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
GUIActiveArea
の
instance
では %n
hasGUEState
エンティティー
and
GUE_SelectedState
は
時間間隔
の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?ELEMENT
GUE_SelectedState
)))
ComputerInput.kif 2215-2222
時間間隔
は
SelectingActiveArea
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
GUIActiveArea
の
instance
では %n
hasGUEState
エンティティー
and
GUE_SelectedState
は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
GUE_MaximizedWindowState
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
hasGUEState
エンティティー
and
GUE_MaximizedWindowState
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
では %n
エンティティー
_P は
InterfaceWindow
の
instance
では %n
screenOfGUIE
エンティティー
_A and
ComputerScreen
screenOfGUIE
エンティティー
_P and
ComputerScreen
hasGUEState
エンティティー
_A and
GUE_ActiveState
エンティティー
_A は
エンティティー
_P と
equal
では
hasGUEState
エンティティー
_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
は
CoveringGUIElement
の
time
の existence の
beginning
の
during
holds %n{ない}
hasGUEState
GUIElement
and
GUE_CoveredState
は
CoveringGUIElement
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
hasGUEState
?GUIE_BOTTOM
GUE_CoveredState
))
ComputerInput.kif 2547-2549
guiElementCoveredBy
エンティティー
_BOTTOM and
エンティティー
_TOP
hasGUEState
エンティティー
_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
は
PartiallyCoveringGraphicalWindow
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
は
PartiallyCoveringGraphicalWindow
の
time
の existence の
beginning
の
during
holds %n{ない}
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
は
PartiallyCoveringGraphicalWindow
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
guiElementUncovered
?ACT ?GUIE)
(
holdsDuring
(
EndFn
(
WhenFn
?ACT))
(
hasGUEState
?GUIE
GUE_UncoveredState
)))
ComputerInput.kif 2641-2644
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
hasGUEState
GUIElement
and
GUE_UncoveredState
は
UncoveringGraphicalWindow
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
は
UncoveringGraphicalWindow
の
time
の existence の
beginning
の
during
holds %n{ない}
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
は
UncoveringGraphicalWindow
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
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
は
MouseCursor
の
instance
では %n
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
は
InterfaceWindow
の
instance
では %n }
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
は
Cursor
の
instance
では %n } ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
は
MouseCursor
の
instance
では %n } ~{
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