WhenFn
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
目的地
Process
and
Object
例
Process
and
訊息
患者
Process
and
Entity
例
Object
and
Telex
Process
Entity
儀器
Process
and
Object
結果
Process
and
Entity
代表
Entity
and
Entity
例
Entity
and
Text
之前
開始
何時
Process
and
開始
何時
Process
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20733-20742
Human
directed
MotionPicture
例
Process
and
電影製作
例
AutonomousAgent
and
Organization
Human
是
AutonomousAgent
的
leader
agent
Process
and
AutonomousAgent
結果
Process
and
MotionPicture
持有期間
何時
Process
and
attribute
Human
and
電影導演
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30680-30686
firstInstanceCreated
Physical
and
TimePoint
例
Physical
and
Physical
之前或相等
TimePoint
and
開始
何時
Physical
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
Collection
是在
WebSite
的
first
time
buyers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
期間
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
Collection
是在
WebSite
的
first
time
buyers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
早期
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
Collection
是在
WebSite
的
first
time
sellers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
期間
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
Collection
是在
WebSite
的
first
time
sellers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
早期
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
持有期間
TimePosition
and
attribute
entity
and
EmotionalState
actionTendency
EmotionalState
and
EmotionalBehavioralProcess
模態屬性
entity
例
entity
and
EmotionalBehavioralProcess
期間
何時
entity
and
TimePosition
體驗者
entity
and
entity
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
AVPUPainStatus
例
Process
and
痛
期間
何時
Process
and
TimeInterval
體驗者
Process
and
AutonomousAgent
Process
例
Process
and
BodyMotion
體驗者
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
原因
Process
and
Process
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
AVPUVerbalStatus
例
Process
and
說話
目的地
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
Process
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
原因
Process
and
Process
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
例
Process
and
RecreationOrExercise
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
PostExertionalMalaise
早期
何時
Process
and
TimeInterval
and
容易
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
持有期間
TimePosition
and
attribute
Entity
and
被驅逐
公民
Entity
and
entity
-NATION
例
TimePosition
and
TimeInterval
Process
Object
例
Object
and
Nation
等於
Object
and
entity
-NATION
例
Process
and
易位
起源
Process
and
Object
患者
Process
and
Entity
目的地
Process
and
entity
-NATION
時間部分
TimePosition
and
何時
Process
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
撤離者
例
TimeInterval
and
TimeInterval
Process
AutonomousAgent
例
Process
and
疏散
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
軍事組織
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
TimeInterval
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7971-7981
持有期間
TimeInterval
and
Entity
是
Entity
的
spouse
例
TimeInterval
and
TimeInterval
Process
例
Process
and
婚禮
患者
Process
and
Entity
患者
Process
and
Entity
早期
何時
Process
and
TimeInterval
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23709-23718
%每個
Object
是
Object
的
initially
part
例
Physical
and
Object
Entity
例
Entity
and
Object
持有期間
開始
何時
Physical
and
部分
Physical
and
Entity
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23736-23744
Object
的例子總是
Object
的
initially
part
的例子
例
Physical
and
Object
Entity
例
Entity
and
Object
持有期間
開始
何時
Physical
and
部分
Entity
and
Physical
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21494-21505
例
Process
and
中止
患者
Process
and
Entity
例
Entity
and
女人
持有期間
開始
何時
Process
and
attribute
Entity
and
孕
持有期間
結束
何時
Process
and
attribute
Entity
and
孕
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17192-17202
例
Process
and
加速
等於
TimeInterval
and
何時
Process
體驗者
Process
and
AutonomousAgent
Process
例
Process
and
減速
體驗者
Process
and
AutonomousAgent
等於
TimeInterval
and
何時
Process
(=>
(
and
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
例
Process
and
Amputating
患者
Process
and
Entity
例
Object
and
肢
Object
Object
部分
Object
and
Object
部分
Object
and
Object
例
Object
and
Bone
持有期間
不久的過去
何時
Process
and
部分
Object
and
Entity
持有期間
不久的過去
何時
Process
and
部分
Object
and
Entity
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
例
Process
and
Anesthetizing
患者
Process
and
Entity
持有期間
何時
Process
and
attribute
Entity
and
Unconscious
attribute
Entity
and
痛
(=>
(
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
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29608-29620
例
Process
and
Apologizing
agent
Process
and
Process
G
目的地
Process
and
AutonomousAgent
Process
CT
AutonomousAgent
suffers
從
Process
CT
agent
Process
CT and
Process
G
持有期間
何時
Process
and
想要
Process
G and
Process
CT
(=>
(
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
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
例
Process
and
Asphyxiation
體驗者
Process
and
AutonomousAgent
持有期間
何時
Process
and
entity
例
entity
and
Breathing
體驗者
entity
and
Process
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30230-30241
例
AutonomousAgent
and
AutonomousAgent
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Motionless
Process
例
Process
and
BodyMotion
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
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