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 and
TimeInterval
(
domain
earlier
2
TimeInterval
)
Merge.kif 8372-8372
域
早期
, 2 and
TimeInterval
(
instance
earlier
BinaryPredicate
)
Merge.kif 8366-8366
例
早期
and
BinaryPredicate
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8369-8369
例
早期
and
IrreflexiveRelation
(
instance
earlier
TemporalRelation
)
Merge.kif 8367-8367
例
早期
and
TemporalRelation
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
例
早期
and
TotalValuedRelation
(
instance
earlier
TransitiveRelation
)
Merge.kif 8368-8368
例
早期
and
TransitiveRelation
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
相關的內部概念
之前
and
早期
(
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
RealNumber
比較多
RealNumber
and 0
例
TimeInterval
and
震
患者
TimeInterval
and
物理系統
例
Entity
and
UnitOfLength
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
比較多
RealNumber
and
RealNumber
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
早期
TimeInterval
and
TimeInterval
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
時間部分
TimePoint
and
TimeInterval
時間部分
TimePoint
and
TimeInterval
之前
TimePoint
and
TimePoint
(=>
(
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
類別
例
Organism
and
Human
例
Organism
and
Human
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
家庭關係
Organism
and
Organism
早期
TimeInterval
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
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
(
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
例
Object
and
Antidiuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
等於
TimeInterval
and
TimeInterval
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
例
Object
and
Diuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
例
Process
and
Death
例
Entity
and
OrganismRemains
例
AutonomousAgent
and
Organism
持有期間
TimeInterval
and
部分
entity
and
Entity
持有期間
TimeInterval
and
部分
entity
and
AutonomousAgent
早期
TimeInterval
and
TimeInterval
體驗者
Process
and
AutonomousAgent
結果
Process
and
Entity
(=>
(
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
例
Process
and
Death
例
Entity
and
OrganismRemains
例
AutonomousAgent
and
Organism
持有期間
TimeInterval
and
部分
entity
and
Entity
持有期間
TimeInterval
and
部分
entity
and
AutonomousAgent
早期
TimeInterval
and
TimeInterval
結果
Process
and
Entity
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
AutonomousAgent
and
人
attribute
AutonomousAgent
and
mausaharati
例
Process
and
鼓聲
agent
Process
and
AutonomousAgent
例
Process
AY and
Day
例
TimeInterval
and
日出
期間
TimeInterval
and
Process
AY
早期
何時
Process
and
TimeInterval
有目的
Process
and
entity
TimeInterval
UHUR and
entity
例
entity
and
起來
體驗者
entity
and
entity
例
TimeInterval
UHUR and
封齋飯
agent
TimeInterval
UHUR and
entity
早期
何時
entity
and
何時
TimeInterval
UHUR
期間
何時
entity
and
Process
AY
期間
何時
TimeInterval
UHUR and
Process
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
例
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
較不可能
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
早期
TimeInterval
and
TimeInterval
之前
結束
TimeInterval
and
開始
TimeInterval
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
attribute
用戶帳號
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
用戶帳號
and
TimeInterval
TimeInterval
F
例
TimeInterval
F and
TwoFactorLoggingIn
agent
TimeInterval
F and
AutonomousAgent
accountUsed
TimeInterval
F and
用戶帳號
早期
何時
TimeInterval
F and
TimeInterval
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
TimeInterval
and
假日
例
TimeInterval
and
年
Integer
早期
TimeInterval
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))
(
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
?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
?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
?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
(
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
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
持有期間
TimeInterval
and
發展形式
entity
and
Attribute
後繼屬性關閉
Attribute
and
Attribute
TimeInterval
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
發展形式
entity
and
Attribute
(=>
(
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
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
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
例
Process
and
Birth
起源
Process
and
Object
Entity
TimeInterval
例
Entity
and
Zygote
早期
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
位於
Entity
and
Object
(=>
(
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
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Object
Process
例
Object
and
靜脈
例
Object
and
動脈
部分
Object
and
AutonomousAgent
例
Process
and
Damaging
早期
何時
Process
and
何時
Process
患者
Process
and
Object
(=>
(
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
例
Process
and
健美運動
agent
Process
and
AutonomousAgent
Process
例
Process
and
Weightlifting
agent
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
(=>
(
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
例
Transfer
and
BreakthroughInfection
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
體驗者
Transfer
and
AutonomousAgent
Object
AX
例
Object
AX and
Vaccination
體驗者
Object
AX and
AutonomousAgent
vaccine
Object
ACCINECLASS and
Object
C
例
Object
ACCINE and
Object
ACCINECLASS
objectTransferred
Object
AX and
Object
ACCINE
早期
何時
Object
AX and
何時
Transfer
(=>
(
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
例
電腦程序
and
ComputerBackingUp
數字數據
是由
電腦程序
processed
例
數字數據
and
數字數據
agent
電腦程序
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
早期
何時
電腦程序
and
entity
持有期間
entity
and
entity
例
entity
and
電腦程序
能力
entity
,
數據已處理
and
數字數據
(=>
(
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
例
TimeInterval
and
Confirming
agent
TimeInterval
and
協議
包含信息
TimeInterval
and
Proposition
TimeInterval
內容承載物理
and
協議
2
例
TimeInterval
and
Stating
早期
TimeInterval
and
TimeInterval
例
內容承載物理
and
ReachingAgreement
agent
TimeInterval
and
協議
2
包含信息
內容承載物理
and
Proposition
包含信息
TimeInterval
and
Proposition
協議
是
內容承載物理
的
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
例
Process
and
Decreasing
患者
Process
and
Entity
RealNumber
RealNumber
,
TimeInterval
,
TimeInterval
and
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
entity
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
entity
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
Increasing
患者
Process
and
Entity
RealNumber
RealNumber
,
TimeInterval
,
TimeInterval
and
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
entity
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
QuantityChange
患者
Process
and
Entity
entity
entity
,
TimeInterval
,
TimeInterval
and
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
測量
Entity
and
測量
entity
and
entity
持有期間
TimeInterval
and
測量
Entity
and
測量
entity
and
entity
等於
entity
and
entity
(=>
(
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
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
PositiveInteger
and
PositiveInteger
早期
TimeInterval
and
TimeInterval
(=>
(
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
例
Process
and
拆除大規模殺傷性武器
患者
Process
and
Entity
Process
例
Process
and
發展大規模殺傷性武器
結果
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
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
例
Process
and
Matriculation
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
AutonomousAgent
and
學院
Process
AutonomousAgent
例
Process
and
Graduation
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
AutonomousAgent
and
中學
早期
何時
Process
and
何時
Process
(=>
(
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
例
Process
and
Matriculation
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
AutonomousAgent
and
學院
Process
AutonomousAgent
例
Process
and
Graduation
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
AutonomousAgent
and
中學
早期
何時
Process
and
何時
Process
(=>
(
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
例
AutonomousAgent
and
人
attribute
AutonomousAgent
and
mausaharati
例
Process
and
鼓聲
agent
Process
and
AutonomousAgent
例
Process
AY and
Day
例
TimeInterval
and
日出
期間
TimeInterval
and
Process
AY
早期
何時
Process
and
TimeInterval
有目的
Process
and
entity
TimeInterval
UHUR and
entity
例
entity
and
起來
體驗者
entity
and
entity
例
TimeInterval
UHUR and
封齋飯
agent
TimeInterval
UHUR and
entity
早期
何時
entity
and
何時
TimeInterval
UHUR
期間
何時
entity
and
Process
AY
期間
何時
TimeInterval
UHUR and
Process
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 and
PaperShredder
例
?CUT and
Cutting
儀器
?CUT and ?X
例
?PAPER and
紙
患者
?CUT and ?PAPER
位於
?CBO and ?PAPER
例
?CBO and
VisualContentBearingObject
包含信息
?CBO and ?INFO and ?READ
例
?READ and
解讀
患者
?READ and ?INFO
早期
何時
?CUT and
何時
?READ
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