WhenFn
(=>
(
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
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17142-17163
例
Process
and
加速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12678-12691
例
Process
and
ShapeChange
患者
Process
and
Entity
Entity
例
Entity
and
ShapeAttribute
持有期間
開始
何時
Process
and
attribute
Entity
and
Entity
持有期間
結束
何時
Process
and
attribute
Entity
and
Entity
持有期間
開始
何時
Process
and
attribute
Entity
and
Entity
持有期間
結束
何時
Process
and
attribute
Entity
and
Entity
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12638-12651
例
Process
and
SurfaceChange
患者
Process
and
Object
Object
entity
膚淺的部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
entity
持有期間
結束
何時
Process
and
attribute
Object
and
entity
持有期間
開始
何時
Process
and
attribute
Object
and
entity
持有期間
結束
何時
Process
and
attribute
Object
and
entity
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
例
Process
and
走動
等於
TimeInterval
and
何時
Process
Process
Process
例
Process
and
步進
例
Process
and
步進
子過程
Process
and
Process
子過程
Process
and
Process
啟動
何時
Process
and
TimeInterval
飾面
何時
Process
and
TimeInterval
等於
Process
and
Process
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
例
Entity
and
InternetAccessPoint
例
Entity
and
Device
持有期間
何時
連接的工程組件
Entity
and
Entity
and
工程子組件
Entity
and
互聯網
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12382-12389
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16342-16352
例
Process
and
變得醉了
體驗者
Process
and
AutonomousAgent
持有期間
開始
何時
Process
and
attribute
AutonomousAgent
and
清醒
持有期間
結束
何時
Process
and
attribute
AutonomousAgent
and
醉
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18678-18694
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
ROP 對於
允許
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24018-24027
例
Process
and
Birth
起源
Process
and
Object
Entity
TimeInterval
例
Entity
and
Zygote
早期
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
位於
Entity
and
Object
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Object
Process
例
Object
and
靜脈
例
Object
and
動脈
部分
Object
and
AutonomousAgent
例
Process
and
Damaging
早期
何時
Process
and
何時
Process
患者
Process
and
Object
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21473-21488
例
Process
and
臉紅
體驗者
Process
and
AutonomousAgent
TimeInterval
TimeInterval
,
Entity
and
Entity
例
Entity
and
EmotionalState
例
Entity
and
EmotionalState
等於
Entity
and
Entity
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Entity
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Entity
啟動
何時
Process
and
TimeInterval
飾面
何時
Process
and
TimeInterval
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17385-17396
例
Process
and
登機
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
例
Process
and
Braking
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
持有期間
眼前的未來
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17426-17438
例
Process
and
deboarding
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
例
Food
and
Object
roastedToTemperature
Food
and
RealNumber
Process
例
Process
and
Heating
患者
Process
and
Food
持有期間
結束
何時
Process
and
測量
Food
and
測量
RealNumber
and
攝氏度
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16362-16372
例
Process
and
清醒來
體驗者
Process
and
AutonomousAgent
持有期間
開始
何時
Process
and
attribute
AutonomousAgent
and
醉
持有期間
結束
何時
Process
and
attribute
AutonomousAgent
and
清醒
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 778-788
例
Process
and
健美運動
agent
Process
and
AutonomousAgent
Process
例
Process
and
Weightlifting
agent
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
例
Transfer
and
BreakthroughInfection
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
體驗者
Transfer
and
AutonomousAgent
Object
AX
例
Object
AX and
Vaccination
體驗者
Object
AX and
AutonomousAgent
vaccine
Object
ACCINECLASS and
Object
C
例
Object
ACCINE and
Object
ACCINECLASS
objectTransferred
Object
AX and
Object
ACCINE
早期
何時
Object
AX and
何時
Transfer
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21394-21402
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Entity
例
Entity
and
Blood
持有期間
開始
何時
Process
and
部分
Entity
and
AutonomousAgent
持有期間
結束
何時
Process
and
部分
Entity
and
AutonomousAgent
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13955-13963
例
Process
and
Boiling
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
加油站
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10576-10592
例
Object
and
BodySegment
例
Object
and
BodySegment
連接的
Object
and
Object
例
Motion
and
BodyMotion
移動
Motion
and
Object
模態屬性
Motion
例
Motion
and
BodyMotion
移動
Motion
and
Object
期間
何時
Motion
and
何時
Motion
and
可能性
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
例
金融賬戶
and
擔保債券
抵押
是
金融賬戶
的
secured
擁有
AutonomousAgent
and
金融賬戶
例
Process
and
財務違約
患者
Process
and
金融賬戶
持有期間
眼前的未來
何時
Process
and
擁有
AutonomousAgent
and
抵押
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