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
如果
ImpairedBodyPartFn
类
是
客体
的
attribute
在
时间位置
holdsDuring
和
那个 类
I 是
那个 类
的
instance
和
那个 类
I 是
那个 客体
的
part
和
那个 类
I 的 目的 是
公式
,
然后
那个 公式
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
如果
实体
是
另一个 实体
的
attribute
在
时距
holdsDuring
和
那个 另外 实体
是
ChronicDisease
的
instance
和
那个 时距
的
duration
是
实数
,
然后
那个 实数
是
greaterThan
3
月持续时间
(=>
(
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
如果
AVPUPainStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
痛
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
AVPUVerbalStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
说话
的
instance
和
那个 过程
在
那个 施事体
结束 和
那个 过程
出现 的
time
在
那个 时距
时段内发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
ChronicFatigueSyndrome
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
娱乐或锻炼
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
出现 的
time
在
那个 时距
时段内发生,
然后
PostExertionalMalaise
是
那个 施事体
的
attribute
在
那个 时距
2
holdsDuring
和
那个 过程
出现 的
time
比
那个 时距
2发生的
earlier
的声明 has
容易
的语气
(=>
(
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
如果
啟動中
是
工程组件
的
attribute
在
物理
holdsDuring
和
准备好主持
是
那个 工程组件
的
attribute
在
那个 物理
2
holdsDuring
和
那个 物理
2
equal
紧接
那个 物理
出现 的
time
after
和
另一个 工程组件
是
ComputerDisplay
的
instance
和
那个 另外 工程组件
是 和
那个 工程组件
connected
,
然后 有存在
实体
这样
那个 实体
是
主頁面
的
instance
和
那个 实体
是在
那个 另外 工程组件
displayed
的声明 has
容易
的语气
(=>
(
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
如果
施事体
desires
死
是
实体
的
attribute
在
时距
holdsDuring
和
那个 施事体
URDER 是
谋杀
的
instance
和
那个 施事体
是
那个 施事体
URDER 的
agent
和
那个 实体
是
那个 施事体
URDER 的
patient
和
那个 时距
比
那个 施事体
URDER 出现 的
time
发生的
earlier
,
然后
Premeditated
是
那个 施事体
URDER 的
attribute
(=>
(
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
如果
客体
的
measure
是
函数量
在
时间位置
holdsDuring
和
engineIdleSpeed
内燃机
and
那个 函数量
和
另一个 客体
是
汽车
的
instance
和
那个 内燃机
是
那个 另外 客体
的
part
和
那个 客体
是
那个 内燃机
的
part
,
然后 不存在
实体
和
另一个 实体
这样
那个 实体
在
那个 时间位置
时段内发生 和
那个 实体
是
Pushing
的
instance
和
那个 实体
在
那个 另外 实体
结束 和
那个 另外 实体
是
那个 另外 客体
的
part
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
如果
实体
possesses
客体
在
时间位置
holdsDuring
和
另一个 客体
是
那个 客体
的
part
,
然后
那个 实体
possesses
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
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
如果
被驱逐
是
实体
的
attribute
和
那个 实体
是
另一个 实体
-NATION 的
citizen
在
时间位置
holdsDuring
和
那个 时间位置
是
时距
的
instance
,
然后 有存在
过程
和
客体
这样
那个 客体
是
国家
的
instance
和
那个 客体
不
equal
那个 另外 实体
-NATION 和
那个 过程
是
易位
的
instance
和
那个 客体
是
那个 过程
的源头 和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
那个 另外 实体
-NATION 结束 和
那个 时间位置
时段 是
那个 过程
出现 的
time
时段 的一
part
(=>
(
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
如果
平民流离失所
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
地理区域
在
时距
holdsDuring
和
那个 地理区域
是
地理区域
的
instance
和
那个 时距
是
时距
的
instance
,
然后 有存在
另一个 时距
,
第三 实体
-PLACE, and 和
那个 第三 实体
-RES 这样
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 第三 实体
-RES 是
客体
的
instance
和
那个 第三 实体
-PLACE 是
地缘政治区域
的
instance
和
那个 第三 实体
-RES 是
located
在
那个 第三 实体
-PLACE 和
那个 地理区域
不
equal
那个 第三 实体
-PLACE 和
那个 另外 实体
不
equal
那个 第三 实体
-RES 和
那个 地理区域
不 是
那个 第三 实体
-PLACE 的
geographic
次要地区 和
那个 第三 实体
-PLACE 不 是
那个 地理区域
的
geographic
次要地区 和
那个 实体
住在
那个 第三 实体
-RES 在
那个 另外 时距
holdsDuring
(=>
(
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
如果
Menopausal
是
施事体
的
attribute
在
时距
holdsDuring
和
实数
equal
(1
年持续时间
和
那个 时距
的开始) 和
另一个 时距
equal
那个 另外 时距
和
那个 时距
的开始 间的时段,
然后 不存在
过程
这样
那个 过程
是
经期
的
instance
和
那个 施事体
经历了
那个 过程
(=>
(
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
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
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
如果
撤离者
是
施事体
的
attribute
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
过程
和
另一个 施事体
这样
那个 过程
是
疏散
的
instance
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
军事组织
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
如果
国内流离失所者
是
实体
的
attribute
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
另一个 实体
和
另一个 时距
这样
那个 另外 时距
比
那个 时距
发生的
earlier
和
国内流离失所者
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
是
那个 实体
fears
那个 另外 实体
在
那个 另外 时距
holdsDuring
的
causes
提议
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
如果
无国籍人
是
实体
的
attribute
在
时间位置
holdsDuring
和
另一个 实体
是
国家
的
instance
,
然后
那个 实体
不 是
那个 另外 实体
的
citizen
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16324-16329
如果
实体
和
另一个 实体
之间有
legalRelation
在
时间位置
holdsDuring
和
那个 实体
是
生物
的
instance
和
那个 另外 实体
是
生物
的
instance
,
然后
那个 另外 实体
是
那个 实体
的
relative
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
如果
实体
是
另一个 实体
的
member
在
时间位置
holdsDuring
和
那个 实体
是
人类
的
instance
和
那个 另外 实体
是
一群人
的
instance
,
然后
那个 实体
是
那个 另外 实体
的
member
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
如果
实体
publishes
类
在
时间位置
holdsDuring
和
那个 类
是
书
的
subclass
,
然后
图书出版商
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
如果
实体
publishes
类
在
时间位置
holdsDuring
和
那个 类
是
音乐作品
的
subclass
,
然后
音乐出版商
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
如果
实体
publishes
类
在
时间位置
holdsDuring
和
那个 类
是
报纸
的
subclass
,
然后
报纸出版社
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
如果
实体
publishes
类
在
时间位置
holdsDuring
和
那个 类
是
期刊
的
subclass
,
然后
定期出版商
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
如果
实体
publishes
类
在
时间位置
holdsDuring
和
那个 类
是
文本
的
subclass
,
然后
信息产业
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
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
如果
实体
是
另一个 实体
的
spouse
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
过程
这样
那个 过程
是
婚礼
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
那个 过程
的
patient
和
那个 过程
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
如果
公式
在
时距
holdsDuring
和
另一个 公式
在
另一个 时距
holdsDuring
和
那个 另外 时距
是
时距
的
instance
和
那个 时距
是
时距
的
instance
和
那个 公式
是
那个 另外 公式
的
causes
提议,
然后
那个 另外 时距
的开始%n{doesn't}在
那个 时距
的开始 之前或同时发生
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