Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
earlier
Sigma KEE - earlier
earlier
appearance as argument number 1
(
documentation
earlier
ChineseLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 在
TimeInterval
?INTERVAL2 开始前结束。")
chinese_format.kif 2724-2725
(
documentation
earlier
EnglishLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
?INTERVAL1 ends before the
TimeInterval
?INTERVAL2 begins.")
Merge.kif 8374-8376
(
documentation
earlier
JapaneseLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL2 が開始される前に
TimeInterval
?INTERVAL1 が終了することを意味する。")
japanese_format.kif 1449-1450
(
domain
earlier
1
TimeInterval
)
Merge.kif 8371-8371
更早
的 1 数量 是
时距
的
instance
(
domain
earlier
2
TimeInterval
)
Merge.kif 8372-8372
更早
的 2 数量 是
时距
的
instance
(
instance
earlier
BinaryPredicate
)
Merge.kif 8366-8366
更早
是
二元谓语
的
instance
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8369-8369
更早
是
非自反关系
的
instance
(
instance
earlier
TemporalRelation
)
Merge.kif 8367-8367
更早
是
时间关系
的
instance
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
更早
是
总值关系
的
instance
(
instance
earlier
TransitiveRelation
)
Merge.kif 8368-8368
更早
是
传递关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
earlier
"%1 %n{doesn't} 比%2发生的
earlier
")
chinese_format.kif 437-437
(
format
EnglishLanguage
earlier
"%1 %n{doesn't} happen%p{s}
earlier
than %2")
english_format.kif 443-443
(
format
FrenchLanguage
earlier
"%1 %n{n'} arrive %n{pas} plus t�t que %2")
french_format.kif 253-253
(
format
ItalianLanguage
earlier
"%1 %n{non} accade%p{s} prima di %2")
relations-it.txt 87-87
(
format
JapaneseLanguage
earlier
"%1 は %2 より
earlier
happen%p{s} %n{ない}")
japanese_format.kif 2047-2047
(
format
PortugueseLanguage
earlier
"%1 %n{nao} acontence %n antes de %2")
portuguese_format.kif 205-205
(
format
cz
earlier
"%1 %n{doesn't} happen%p{s}
earlier
than %2")
relations-cz.txt 259-259
(
format
de
earlier
"%1 geschieht frueh als %2 %n{nicht}")
relations-de.txt 571-571
(
format
hi
earlier
"%1 %2 ke puurva ghaTita %n{nahiin} hotaa hai")
relations-hindi.txt 127-127
(
format
ro
earlier
"%1 %n{nu} se întâmplã
earlier
%t{mai devreme} decât %2")
relations-ro.kif 274-274
(
format
sv
earlier
"%1 sker %n{inte} tidigare än %2")
relations-sv.txt 277-277
(
format
tg
earlier
"%1 %n{hindi} ay kanina sa %2")
relations-tg.txt 189-189
(
relatedInternalConcept
before
earlier
)
Merge.kif 8100-8100
之前
和
更早
是 内部相关
(
termFormat
ChineseLanguage
earlier
"早期")
domainEnglishFormat.kif 20790-20790
(
termFormat
ChineseLanguage
earlier
"更早")
chinese_format.kif 438-438
(
termFormat
ChineseTraditionalLanguage
earlier
"早期")
domainEnglishFormat.kif 20789-20789
(
termFormat
EnglishLanguage
earlier
"earlier")
domainEnglishFormat.kif 20788-20788
(
termFormat
tg
earlier
"kanina")
relations-tg.txt 190-190
antecedent
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
如果
dampingRatio
物理系统
and
实数
和
那个 实数
是
greaterThan
0 和
时距
是
震
的
instance
和
那个 物理系统
是
那个 时距
的
patient
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 时距
and
另一个 实数
那个 实体
在
那个 时距
1
holdsDuring
和
physicalAmplitude
那个 时距
and
第三 实数
那个 实体
在
那个 时距
2
holdsDuring
和
那个 时距
1 在
那个 时距
时段内发生 和
那个 时距
2 在
那个 时距
时段内发生 和
那个 时距
1 比
那个 时距
2发生的
earlier
,
然后
那个 另外 实数
是
greaterThan
那个 第三 实数
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
如果
时距
比
实体
earlier
和
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
那个 时点
时段 是
那个 时距
时段 的一
part
和
那个 另外 时点
时段 是
另一个 时距
时段 的一
part
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
如果 %2 是 1% 的
government
类别 和
生物
是
人类
的
instance
和
另一个 生物
是
人类
的
instance
和
施事体
州
实体
的
chief
对于
那个 生物
在
时距
holdsDuring
和
那个 生物
和
那个 另外 生物
是 亲属 和
那个 时距
比
另一个 实体
earlier
,
然后
那个 施事体
州
那个 实体
的
chief
对于
那个 另外 生物
在
另一个 时距
holdsDuring
的声明 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
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
那个 时距
不
equal
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
如果
客体
是
Diuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 施事体
经历了
那个 过程
,
然后
那个 实体
是
那个 过程
的
result
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
经历了
那个 过程
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
如果
施事体
是
人
的
instance
和
mausaharati
是
那个 施事体
的
attribute
和
过程
是
鼓声
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
AY 是
日
的
instance
和
另一个 时距
是
日出
的
instance
和
那个 另外 时距
在
那个 过程
AY 时段内发生 和
那个 过程
出现 的
time
比
那个 另外 时距
发生的
earlier
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
,
那个 另外 时距
UHUR, and 和
第四 实体
这样
那个 第四 实体
是
起来
的
instance
和
那个 另外 实体
经历了
那个 第四 实体
和
那个 另外 时距
UHUR 是
封斋饭
的
instance
和
那个 另外 实体
是
那个 另外 时距
UHUR 的
agent
和
那个 第四 实体
出现 的
time
比
那个 另外 时距
UHUR 出现 的
time
发生的
earlier
和
那个 第四 实体
出现 的
time
在
那个 过程
AY 时段内发生 和
那个 另外 时距
UHUR 出现 的
time
在
那个 过程
AY 时段内发生
(=>
(
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 9774-9795
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
MoodStabilizer
的
instance
和
过程
是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
的
involved
和
那个 过程
S 是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
和
那个 过程
S 是
情绪状态
的
instance
和
那个 过程
2 是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
2 的
involved
和
那个 过程
2 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
,
然后
那个 过程
S 是
那个 施事体
的
attribute
doesn't 在
那个 过程
2
holdsDuring
的声明 has
较不可能
的语气
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
如果
时距
比
实体
earlier
,
然后
那个 时距
的结束%n在
另一个 时距
的开始
before
发生
consequent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
如果
TwoFactorAuthentication
是
用户帐号
的
attribute
和
loggedInDuring
施事体
,
那个 用户帐号
and
时距
,
然后 有存在
那个 时距
F 这样
那个 时距
F 是
TwoFactorLoggingIn
的
instance
和
那个 施事体
是
那个 时距
F 的
agent
和
accountUsed
那个 时距
F and
那个 用户帐号
和
那个 时距
F 出现 的
time
比
那个 时距
发生的
earlier
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
如果
正整数
day
是
有点 假日
的
commemorates
日期 和
时距
是
有点 假日
的
instance
和
另一个 时距
是
整数
year
的
instance
,
然后
那个 时距
doesn't 比
那个 另外 时距
发生的
earlier
(=>
(
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
如果
群体
是在
WebSite
的
first
time
buyers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 不存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
如果
群体
是在
WebSite
的
first
time
sellers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 不存在
金融交易
这样
那个 金融交易
是
出售
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
?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
?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
(
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
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
如果
实体
的发育形态 是
属性
在
时距
holdsDuring
和
另一个 属性
是
那个 属性
的后续属性,
然后 有存在
另一个 时距
这样
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 实体
的发育形态 是
那个 另外 属性
在
那个 另外 时距
holdsDuring
(=>
(
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 18679-18695
如果
转移
是
遗赠
的
instance
和
施事体
是
那个 转移
的
agent
和
那个 转移
在
实体
结束 和
objectTransferred
那个 转移
and
那个 施事体
ROP,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 施事体
ROP 在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 施事体
confers
规范
那个 实体
possesses
那个 施事体
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 24019-24028
如果
过程
是
出生
的
instance
和
客体
是
那个 过程
的源头,
然后 有存在
实体
和
时距
这样
那个 实体
是
Zygote
的
instance
和
那个 时距
比
那个 过程
出现 的
time
发生的
earlier
和
那个 实体
是
located
在
那个 客体
在
那个 时距
holdsDuring
(=>
(
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
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
客体
和
另一个 过程
这样
那个 客体
是
静脉
的
instance
或
那个 客体
是
动脉
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 另外 过程
是
损坏
的
instance
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 客体
是
那个 另外 过程
的
patient
(=>
(
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
如果
过程
是
健美运动
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Weightlifting
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
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
如果
转移
是
BreakthroughInfection
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
AX 这样
那个 客体
AX 是
Vaccination
的
instance
和
那个 施事体
经历了
那个 客体
AX 和
vaccine
那个 客体
ACCINECLASS and
那个 客体
C 和
那个 客体
ACCINE 是
那个 客体
ACCINECLASS 的
instance
和
objectTransferred
那个 客体
AX and
那个 客体
ACCINE 和
那个 客体
AX 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
如果
电脑程序
是
ComputerBackingUp
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
数字数据
的
instance
和
有认知的主事
是
那个 电脑程序
的
agent
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 电脑程序
出现 的
time
比
那个 实体
发生的
earlier
和 有存在
第三 实体
这样
那个 第三 实体
是
电脑程序
的
instance
和
那个 数字数据
能够担当
数据已处理
的角色做
那个 第三 实体
在
那个 实体
holdsDuring
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29639-29653
如果
时距
是
Confirming
的
instance
和
协议
是
那个 时距
的
agent
和
那个 时距
contains
命题
的资料,
然后 有存在
另一个 时距
,
内容承载物理
, and 和
那个 协议
2 这样
那个 另外 时距
是
陈述
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 内容承载物理
是
ReachingAgreement
的
instance
和
那个 协议
2 是
那个 另外 时距
的
agent
和
那个 内容承载物理
contains
那个 命题
的资料 和
那个 另外 时距
contains
那个 命题
的资料 和
那个 协议
是
那个 内容承载物理
的
party
协议 和
那个 协议
2 是
那个 内容承载物理
的
party
协议
(=>
(
and
(
instance
?D
Decreasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
lessThan
?N1 ?N2))))
Merge.kif 10941-10954
如果
过程
是
减少
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
实数
,
另一个 实数
,, ,
时距
,, ,
另一个 时距
, and 和
另一个 实体
这样
那个 时距
比
那个 另外 时距
发生的
earlier
和
那个 实体
的
measure
是
那个 实数
那个 另外 实体
在
那个 时距
holdsDuring
和
那个 实体
的
measure
是
那个 另外 实数
那个 另外 实体
在
那个 另外 时距
holdsDuring
和
那个 实数
是
lessThan
那个 另外 实数
(=>
(
and
(
instance
?D
Increasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
greaterThan
?N1 ?N2))))
Merge.kif 10899-10912
如果
过程
是
增加
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
实数
,
另一个 实数
,, ,
时距
,, ,
另一个 时距
, and 和
另一个 实体
这样
那个 时距
比
那个 另外 时距
发生的
earlier
和
那个 实体
的
measure
是
那个 实数
那个 另外 实体
在
那个 时距
holdsDuring
和
那个 实体
的
measure
是
那个 另外 实数
那个 另外 实体
在
那个 另外 时距
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?D
QuantityChange
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
not
(
equal
?N1 ?N2)))))
Merge.kif 10878-10891
如果
过程
是
量变
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
,
第三 实体
,, ,
时距
,, ,
另一个 时距
, and 和
第四 实体
这样
那个 时距
比
那个 另外 时距
发生的
earlier
和
那个 实体
的
measure
是
那个 另外 实体
那个 第四 实体
在
那个 时距
holdsDuring
和
那个 实体
的
measure
是
那个 第三 实体
那个 第四 实体
在
那个 另外 时距
holdsDuring
和
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8731-8736
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和
那个 另外 正整数
是
greaterThan
那个 正整数
,
然后
那个 时距
比
那个 另外 时距
发生的
earlier
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
如果
过程
是
拆除大规模杀伤性武器
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
发展大规模杀伤性武器
的
instance
和
那个 实体
是
那个 另外 过程
的
result
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16690-16702
如果
过程
是
被大学录取
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 施事体
是
学院
的
instance
,
然后 有存在
另一个 过程
和
另一个 施事体
这样
那个 另外 过程
是
毕业
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 另外 施事体
是
中学
的
instance
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16671-16683
如果
过程
是
被大学录取
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 施事体
是
学院
的
instance
,
然后 有存在
另一个 过程
和
另一个 施事体
这样
那个 另外 过程
是
毕业
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 另外 施事体
是
中学
的
instance
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
如果
施事体
是
人
的
instance
和
mausaharati
是
那个 施事体
的
attribute
和
过程
是
鼓声
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
AY 是
日
的
instance
和
另一个 时距
是
日出
的
instance
和
那个 另外 时距
在
那个 过程
AY 时段内发生 和
那个 过程
出现 的
time
比
那个 另外 时距
发生的
earlier
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
,
那个 另外 时距
UHUR, and 和
第四 实体
这样
那个 第四 实体
是
起来
的
instance
和
那个 另外 实体
经历了
那个 第四 实体
和
那个 另外 时距
UHUR 是
封斋饭
的
instance
和
那个 另外 实体
是
那个 另外 时距
UHUR 的
agent
和
那个 第四 实体
出现 的
time
比
那个 另外 时距
UHUR 出现 的
time
发生的
earlier
和
那个 第四 实体
出现 的
time
在
那个 过程
AY 时段内发生 和
那个 另外 时距
UHUR 出现 的
time
在
那个 过程
AY 时段内发生
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18202-18219
有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是
PaperShredder
的
instance
和 ?CUT 是
切开
的
instance
和 ?X 是导致 ?CUT 的
instrument
和 ?PAPER 是
纸
的
instance
和 ?PAPER 是 ?CUT 的
patient
和 ?CBO 是
located
在 ?PAPER 和 ?CBO 是
VisualContentBearingObject
的
instance
和 ?CBO
contains
?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是
解读
的
instance
和 ?INFO 是 ?READ 的
patient
和 ?CUT 出现 的
time
比?READ 出现 的
time
发生的
earlier
发生的机率
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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