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
和
实体
是
那个 过程
的
patient
,
然后
无意识
是
那个 实体
的
attribute
或
痛
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
和
那个 客体
是导致
过程
的
instrument
和
那个 过程
是
测量
的
instance
和
另一个 客体
是
那个 过程
的
patient
和
第三 客体
是
COVIDAntibody
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
,
然后
那个 另外 客体
knows
有存在
那个 第三 客体
这样
那个 第三 客体
是
COVIDAntibody
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
的声明 has
容易
的语气
(=>
(
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
如果
过程
是
任命
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 实体
doesn't 在
那个 第三 实体
任职
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
在
那个 第三 实体
任职
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
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
如果
施事体
是
草食动物
的
instance
和
那个 施事体
是
过程
的
agent
和
那个 过程
是
进食
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
植物
的
instance
(=>
(
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
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
如果
过程
是
Sedating
的
instance
和
实体
是
那个 过程
的
patient
,
然后
Conscious
是
那个 实体
的
attribute
和
焦虑
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
和
实体
是
WebPage
的
instance
和
过程
是
数据传输
的
instance
和
客体
是
服务器
的
instance
和
另一个 过程
是
要求
的
instance
和
施事体
是
WebBrowser
的
instance
和
时距
是
时距
的
instance
和
那个 实体
是
那个 AccessingWebPage
的
patient
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 客体
结束 和
那个 实体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 过程
的源头 和
那个 过程
在
那个 施事体
结束 和
那个 实体
是
那个 过程
的
patient
和
那个 过程
%n是
那个 AccessingWebPage
的
subProcess
和
那个 另外 过程
%n是
那个 AccessingWebPage
的
subProcess
和
那个 另外 过程
出现 的
time
的结束
equal
那个 时距
的开始 和
那个 过程
出现 的
time
的结束
equal
那个 时距
的结束,
然后
access
的时间在
那个 AccessingWebPage
equal
那个 时距
(=>
(
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
和
实体
是
用户帐号
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后
AccountDeactivated
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
AccountActive
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
如果
过程
是
AltKeyHoldDown
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
AltKey
的
instance
(=>
(
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
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
如果
过程
是
CharacterKeyPress
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
CharacterKey
的
instance
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
如果
过程
是
ControlKeyHoldDown
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
ControlKey
的
instance
(=>
(
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
和
实体
是
那个 过程
的
patient
和
那个 实体
是
电脑文件
的
instance
,
然后
那个 实体
不 是
图像文件
的
instance
和
那个 实体
不 是
AudioFile
的
instance
和
那个 实体
不 是
MultimediaFile
的
instance
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
如果
过程
是
DraggingWithCursor
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
Cursor
的
instance
,
然后
那个 实体
是
MouseCursor
的
instance
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
如果
过程
是
EnterKeyPress
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
EnterKey
的
instance
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
如果
过程
是
FunctionKeyHoldDown
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
FunctionKey
的
instance
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
如果
过程
是
ScreenTouchAction
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
TouchSensitiveComputerInputDevice
的
instance
,
然后
那个 实体
是
ComputerTouchscreen
的
instance
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
如果
过程
是
ShiftKeyHoldDown
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
ShiftKey
的
instance
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
如果
过程
是
SpecialCharacterPress
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerKeyboardKey
的
instance
,
然后
那个 实体
是
SpecialComputerKeyboardKey
的
instance
(=>
(
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
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
切开
的
instance
和
那个 实体
是
动物
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?JOYSTICK)
(
instance
?JOYSTICK
Joystick
))
(
instance
?ACT
JoystickMotion
))
ComputerInput.kif 1645-1650
如果
过程
是
UserDirectAction
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
Joystick
的
instance
,
然后
那个 过程
是
JoystickMotion
的
instance
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHPAD)
(
instance
?TOUCHPAD
ComputerTouchpad
))
(
instance
?ACT
TouchPadAction
))
ComputerInput.kif 1626-1631
如果
过程
是
UserDirectAction
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
ComputerTouchpad
的
instance
,
然后
那个 过程
是
TouchPadAction
的
instance
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