holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
持有期間
TimePosition
and
attribute
Object
and
ImpairedBodyPartFn
Class
例
Class
I and
Class
部分
Class
I and
Object
有目的
Class
I and
Formula
模態屬性
Formula
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
持有期間
TimeInterval
and
attribute
Entity
and
entity
例
Entity
and
ChronicDisease
持續時間
TimeInterval
and
RealNumber
比較多
RealNumber
and
測量
3 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
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
持有期間
Physical
and
attribute
EngineeringComponent
and
啟動中
持有期間
Physical
and
attribute
EngineeringComponent
and
準備好主持
等於
Physical
and
眼前的未來
何時
Physical
例
EngineeringComponent
and
ComputerDisplay
連接的工程組件
EngineeringComponent
and
EngineeringComponent
模態屬性
entity
例
entity
and
主頁面
entity
是在
EngineeringComponent
displayed
and
容易
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
持有期間
TimeInterval
and
慾望
AutonomousAgent
and
attribute
Entity
and
死
例
AutonomousAgent
URDER and
謀殺
agent
AutonomousAgent
URDER and
AutonomousAgent
患者
AutonomousAgent
URDER and
Entity
早期
TimeInterval
and
何時
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
持有期間
TimePosition
and
測量
Object
and
FunctionQuantity
engineIdleSpeed
內燃機
and
FunctionQuantity
例
Object
and
汽車
部分
內燃機
and
Object
部分
Object
and
內燃機
模態屬性
entity
entity
期間
entity
and
TimePosition
例
entity
and
Pushing
目的地
entity
and
entity
部分
entity
and
Object
and
容易
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
持有期間
TimePosition
and
擁有
entity
and
Object
部分
Object
and
Object
持有期間
TimePosition
and
擁有
entity
and
Object
(=>
(
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
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
持有期間
TimeInterval
and
attribute
entity
and
平民流離失所
棲息
entity
and
entity
位於
entity
and
GeographicArea
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
entity
-RES and
Object
例
entity
-PLACE and
GeopoliticalArea
位於
entity
-RES and
entity
-PLACE
等於
GeographicArea
and
entity
-PLACE
等於
entity
and
entity
-RES
GeographicArea
是
entity
-PLACE 的
geographic
次要地區
entity
-PLACE 是
GeographicArea
的
geographic
次要地區
持有期間
TimeInterval
and
棲息
entity
and
entity
-RES
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Menopausal
等於
RealNumber
and
減法
測量
1 and
年持續時間
and
開始
TimeInterval
等於
TimeInterval
and
時間間隔
TimeInterval
and
開始
TimeInterval
Process
例
Process
and
經期
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
持有期間
TimeInterval
and
attribute
entity
and
國內流離失所者
例
TimeInterval
and
TimeInterval
entity
TimeInterval
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
attribute
entity
and
國內流離失所者
是
持有期間
TimeInterval
and
entity
fears
entity
的
causes
提議
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
持有期間
TimePosition
and
attribute
entity
and
無國籍人
例
Entity
and
Nation
持有期間
TimePosition
and
公民
entity
and
Entity
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16324-16329
持有期間
TimePosition
and
法律關係
Entity
and
Entity
例
Entity
and
Organism
例
Entity
and
Organism
持有期間
TimePosition
and
Entity
是
Entity
的
relative
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
持有期間
TimePosition
and
會員
Entity
and
Entity
例
Entity
and
Human
例
Entity
and
一群人
持有期間
TimePosition
and
Entity
是
Entity
的
member
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Book
持有期間
TimePosition
and
attribute
entity
and
圖書出版商
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
音樂作品
持有期間
TimePosition
and
attribute
entity
and
音樂出版商
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
報紙
持有期間
TimePosition
and
attribute
entity
and
報紙出版社
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Periodical
持有期間
TimePosition
and
attribute
entity
and
定期出版商
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Text
持有期間
TimePosition
and
attribute
entity
and
信息產業
(=>
(
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 7972-7982
持有期間
TimeInterval
and
Entity
是
Entity
的
spouse
例
TimeInterval
and
TimeInterval
Process
例
Process
and
婚禮
患者
Process
and
Entity
患者
Process
and
Entity
早期
何時
Process
and
TimeInterval
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
持有期間
TimeInterval
and
Formula
持有期間
TimeInterval
and
Formula
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
Formula
是
Formula
的
causes
提議
之前或相等
開始
TimeInterval
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