holdsDuring
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3913-3929
例
Entity
and
Electromagnet
持有期間
TimePosition
and
entity
entity
例
entity
and
Transfer
例
entity
and
電力
objectTransferred
entity
and
entity
路徑
entity
and
Entity
持有期間
TimePosition
and
entity
例
entity
and
磁
儀器
entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
例
Process
and
出口
患者
Process
and
Entity
例
GeopoliticalArea
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
持有期間
結束
何時
Process
and
位於
Entity
and
GeopoliticalArea
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
例
Physical
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Object
持有期間
結束
何時
Process
and
位於
Entity
and
Physical
位於
Physical
and
Object
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
例
Object
and
Forehead
持有期間
TimePosition
and
attribute
Object
and
Healthy
attribute
Object
and
站立
部分
Object
and
Object
Object
YE
例
Object
YE and
眼睛
部分
Object
YE and
Object
方位
Object
,
Object
YE and
以上
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2992-2998
例
Entity
and
Grease
持有期間
TimePosition
and
測量
Entity
and
測量
77 and
華氏度
持有期間
TimePosition
and
attribute
Entity
and
固體
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18813-18819
例
Entity
and
戲劇性的演員
持有期間
TimePosition
and
會員
entity
and
Entity
持有期間
TimePosition
and
attribute
entity
and
Actor
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
例
Entity
and
音樂團體
持有期間
TimePosition
and
會員
entity
and
Entity
Entity
例
Entity
and
音樂家
持有期間
TimePosition
and
attribute
entity
and
Entity
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hyperthermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
greaterThan
?N 38.3))
Medicine.kif 686-694
例
Entity
and
Human
持有期間
TimePosition
and
attribute
TimePosition
and
Hyperthermia
coreBodyTemp
Entity
and
測量
RealNumber
and
攝氏度
比較多
RealNumber
and 38.3
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hypothermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
lessThan
?N 35.0))
Medicine.kif 651-659
例
Entity
and
Human
持有期間
TimePosition
and
attribute
TimePosition
and
Hypothermia
coreBodyTemp
Entity
and
測量
RealNumber
and
攝氏度
少於
RealNumber
and 35.0
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 12
少於
RealNumber
and 20
持有期間
TimePosition
and
例
Entity
and
青少年
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and 18
持有期間
TimePosition
and
例
Entity
and
人類成人
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
少於
RealNumber
and 18
持有期間
TimePosition
and
例
Entity
and
人類青年
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 392-397
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and 1
持有期間
TimePosition
and
例
Entity
and
人類寶貝
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 311-318
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and 14
持有期間
TimePosition
and
例
Entity
and
人類的孩子
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
例
Object
and
Human
例
Object
and
Rectum
部分
Object
and
Object
持有期間
TimePosition
and
coreBodyTemp
Object
and
測量
RealNumber
and
entity
測量
Object
and
測量
RealNumber
and
entity
approximateValue
RealNumber
and
RealNumber
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
例
Process
and
Impacting
患者
Process
and
Entity
持有期間
眼前的未來
Process
and
attribute
Entity
and
ImpairedBodyPartFn
腦
模態屬性
持有期間
眼前的未來
Process
and
attribute
Entity
and
Concussion
and
容易
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9773-9794
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
MoodStabilizer
例
Process
and
Process
C
AutonomousAgent
是事件
Process
的
involved
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Process
S
例
Process
S and
EmotionalState
例
Process
2 and
Process
C
AutonomousAgent
是事件
Process
2 的
involved
早期
何時
Process
2 and
何時
Transfer
模態屬性
持有期間
Process
2 and
attribute
AutonomousAgent
and
Process
S and
較不可能
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
例
Object
and
Lever
例
Process
and
Pushing
例
Physical
and
Motion
例
UnitOfMeasure
and
UnitOfLength
目的地
Process
and
Object
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10554-10569
例
Process
and
MuscleRelaxing
患者
Process
and
Entity
例
Entity
and
Muscle
持有期間
不久的過去
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10532-10547
例
Process
and
MuscularContraction
患者
Process
and
Entity
例
Entity
and
Muscle
持有期間
不久的過去
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
例
Process
and
聲樂
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Choir
持有期間
Process
and
會員
AutonomousAgent
and
AutonomousAgent
Process
例
Process
and
唱歌
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19582-19594
例
Process
and
氧化
患者
Process
and
Entity
持有期間
開始
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
RealNumber
少於
RealNumber
and
RealNumber
持有期間
結束
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
例
Entity
and
Human
持有期間
TimePosition
and
attribute
Entity
and
完全成型
持有期間
TimePosition
and
例
Entity
and
人類成人
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22469-22474
例
Entity
and
軍事組織
持有期間
TimePosition
and
會員
Entity
and
Entity
例
Entity
and
Human
持有期間
TimePosition
and
attribute
Entity
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