patient
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
例
Process
and
Anesthetizing
患者
Process
and
Entity
持有期間
何時
Process
and
attribute
Entity
and
Unconscious
attribute
Entity
and
痛
(=>
(
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
例
Object
and
AntibodyCOVIDTest
儀器
Process
and
Object
例
Process
and
Measuring
患者
Process
and
Object
例
Object
and
COVIDAntibody
部分
Object
and
Object
模態屬性
知道
Object
and
Object
例
Object
and
COVIDAntibody
部分
Object
and
Object
and
容易
(=>
(
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
例
Process
and
任命
患者
Process
and
Entity
entity
entity
持有期間
開始
何時
Process
and
佔據位置
Entity
,
entity
and
entity
持有期間
眼前的未來
何時
Process
and
佔據位置
Entity
,
entity
and
entity
(=>
(
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
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
objectAttached
Process
and
Entity
objectAttached
Process
and
Entity
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
例
AutonomousAgent
and
草食動物
agent
Process
and
AutonomousAgent
例
Process
and
Eating
患者
Process
and
Entity
例
Entity
and
Plant
(=>
(
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
例
Process
and
LocalAnesthetizing
位於
Process
and
Object
例
Object
and
BodyPart
部分
Object
and
Object
患者
Process
and
Object
持有期間
何時
Process
and
attribute
Object
and
PainFn
Object
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
例
Process
and
Sedating
患者
Process
and
Entity
持有期間
何時
Process
and
attribute
Entity
and
Conscious
attribute
Entity
and
焦慮
(=>
(
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
and
AccessingWebPage
例
Entity
and
WebPage
例
Process
and
數據傳輸
例
Object
and
服務器
例
Process
and
Requesting
例
AutonomousAgent
and
WebBrowser
例
TimeInterval
and
TimeInterval
患者
AccessingWebPage
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
患者
Process
and
Entity
起源
Process
and
Object
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
子過程
Process
and
AccessingWebPage
子過程
Process
and
AccessingWebPage
等於
結束
何時
Process
and
開始
TimeInterval
等於
結束
何時
Process
and
結束
TimeInterval
等於
access
的時間在
AccessingWebPage
and
TimeInterval
(=>
(
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
例
Process
and
ActivatingADeactivatedAccount
例
Entity
and
用戶帳號
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
attribute
Entity
and
AccountDeactivated
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
AccountActive
(=>
(
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
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
例
Process
and
AltKeyHoldDown
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
AltKey
(=>
(
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
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
例
Process
and
CharacterKeyPress
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
CharacterKey
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
例
Process
and
ControlKeyHoldDown
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
ControlKey
(=>
(
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
例
Process
and
DownloadingNonAudioVideoImageUserFile
患者
Process
and
Entity
例
Entity
and
電腦文件
例
Entity
and
圖像文件
例
Entity
and
AudioFile
例
Entity
and
MultimediaFile
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
例
Process
and
DraggingWithCursor
患者
Process
and
Entity
例
Entity
and
Cursor
例
Entity
and
MouseCursor
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
例
Process
and
EnterKeyPress
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
EnterKey
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
例
Process
and
FunctionKeyHoldDown
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
FunctionKey
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
例
Process
and
ScreenTouchAction
患者
Process
and
Entity
例
Entity
and
TouchSensitiveComputerInputDevice
例
Entity
and
ComputerTouchscreen
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
例
Process
and
ShiftKeyHoldDown
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
ShiftKey
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
例
Process
and
SpecialCharacterPress
患者
Process
and
Entity
例
Entity
and
ComputerKeyboardKey
例
Entity
and
SpecialComputerKeyboardKey
(=>
(
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
例
Process
and
Surgery
患者
Process
and
Entity
Process
例
Process
and
Cutting
例
Entity
and
Animal
患者
Process
and
Entity
子過程
Process
and
Process
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?JOYSTICK)
(
instance
?JOYSTICK
Joystick
))
(
instance
?ACT
JoystickMotion
))
ComputerInput.kif 1645-1650
例
Process
and
UserDirectAction
患者
Process
and
Entity
例
Entity
and
Joystick
例
Process
and
JoystickMotion
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHPAD)
(
instance
?TOUCHPAD
ComputerTouchpad
))
(
instance
?ACT
TouchPadAction
))
ComputerInput.kif 1626-1631
例
Process
and
UserDirectAction
患者
Process
and
Entity
例
Entity
and
ComputerTouchpad
例
Process
and
TouchPadAction
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