patient
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
工程
は
Anesthetizing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
無意識
は
エンティティー
の
attribute
では %n
Pain
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
オブジェクト
は
AntibodyCOVIDTest
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
計測
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
COVIDAntibody
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
ステートメント
オブジェクト
は
オブジェクト
オブジェクト
は
COVIDAntibody
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n を
know
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
工程
は
Appointing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
の
エンティティー
の
position
を hold ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
工程
は
取付け
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectAttached
工程
and
エンティティー
objectAttached
工程
and
エンティティー
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
AutonomousAgent
は
Herbivore
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
摂食
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
植物
の
instance
では %n
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
工程
は
LocalAnesthetizing
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
PainFn
オブジェクト
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
工程
は
Sedating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
Conscious
は
エンティティー
の
attribute
では %n
Anxiety
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
は
AccessingWebPage
の
instance
では %n
エンティティー
は
WebPage
の
instance
では %n
工程
は
DataTransfer
の
instance
では %n
オブジェクト
は
Server
の
instance
では %n
工程
は
要求
の
instance
では %n
AutonomousAgent
は
WebBrowser
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
は
AccessingWebPage
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
の
time
の existence の
end
は
時間間隔
の
beginning
と
equal
では %n
工程
の
time
の existence の
end
は
時間間隔
の
end
と
equal
では %n
SiteSpeedFn
AccessingWebPage
は
時間間隔
と
equal
では %n
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
工程
は
ActivatingADeactivatedAccount
の
instance
では %n
エンティティー
は
UserAccount
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AccountDeactivated
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
AccountActive
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
工程
は
AltKeyHoldDown
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
AltKey
の
instance
では %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
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
工程
は
CharacterKeyPress
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
CharacterKey
の
instance
では %n
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
工程
は
ControlKeyHoldDown
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
ControlKey
の
instance
では %n
(=>
(
and
(
instance
?ACT
DownloadingNonAudioVideoImageUserFile
)
(
patient
?ACT ?FILE)
(
instance
?FILE
ComputerFile
))
(
and
(
not
(
instance
?FILE
ImageFile
))
(
not
(
instance
?FILE
AudioFile
))
(
not
(
instance
?FILE
MultimediaFile
))))
ComputerInput.kif 2761-2772
工程
は
DownloadingNonAudioVideoImageUserFile
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerFile
の
instance
では %n
エンティティー
は
ImageFile
の
instance
では
エンティティー
は
AudioFile
の
instance
では
エンティティー
は
MultimediaFile
の
instance
では
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
工程
は
DraggingWithCursor
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Cursor
の
instance
では %n
エンティティー
は
MouseCursor
の
instance
では %n
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
工程
は
EnterKeyPress
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
EnterKey
の
instance
では %n
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
工程
は
FunctionKeyHoldDown
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
FunctionKey
の
instance
では %n
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
工程
は
ScreenTouchAction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
TouchSensitiveComputerInputDevice
の
instance
では %n
エンティティー
は
ComputerTouchscreen
の
instance
では %n
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
工程
は
ShiftKeyHoldDown
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
ShiftKey
の
instance
では %n
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
工程
は
SpecialCharacterPress
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerKeyboardKey
の
instance
では %n
エンティティー
は
SpecialComputerKeyboardKey
の
instance
では %n
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
工程
は
手術
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
切断
の
instance
では %n
エンティティー
は
動物
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?JOYSTICK)
(
instance
?JOYSTICK
Joystick
))
(
instance
?ACT
JoystickMotion
))
ComputerInput.kif 1645-1650
工程
は
UserDirectAction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Joystick
の
instance
では %n
工程
は
JoystickMotion
の
instance
では %n
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHPAD)
(
instance
?TOUCHPAD
ComputerTouchpad
))
(
instance
?ACT
TouchPadAction
))
ComputerInput.kif 1626-1631
工程
は
UserDirectAction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ComputerTouchpad
の
instance
では %n
工程
は
TouchPadAction
の
instance
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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