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
earlier
の数値 1 引数は
時間間隔
の
instance
では %n
(
domain
earlier
2
TimeInterval
)
Merge.kif 8372-8372
earlier
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
earlier
BinaryPredicate
)
Merge.kif 8366-8366
earlier
は
2進述語
の
instance
では %n
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8369-8369
earlier
は
非反射関係
の
instance
では %n
(
instance
earlier
TemporalRelation
)
Merge.kif 8367-8367
earlier
は
時間関係
の
instance
では %n
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
earlier
は
合計値関係
の
instance
では %n
(
instance
earlier
TransitiveRelation
)
Merge.kif 8368-8368
earlier
は
推移関係
の
instance
では %n
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
before
は
earlier
に
internally
関連して %n
(
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
PhysicalSystem
and
実数
実数
は 0 より
greater
では %n
時間間隔
は
Tremor
の
instance
では %n
PhysicalSystem
は
時間間隔
の
patient
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
physicalAmplitude
時間間隔
and
実数
の
エンティティー
(s) は
時間間隔
1 の
during
holds %n{ない}
physicalAmplitude
時間間隔
and
実数
の
エンティティー
(s) は
時間間隔
2 の
during
holds %n{ない}
時間間隔
1 は
時間間隔
の
during
に takes %n{ない}
時間間隔
2 は
時間間隔
の
during
に takes %n{ない}
時間間隔
1 は
時間間隔
2 より
earlier
happens %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時点
は
時間間隔
の
part
では %n
時点
は
時間間隔
の
part
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
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
governmentType
AutonomousAgent
and
Monarchy
物
は
人[人間]
の
instance
では %n
物
は
人[人間]
の
instance
では %n
chiefOfState
AutonomousAgent
,
エンティティー
and
物
は
時間間隔
の
during
holds %n{ない}
物
と
物
は
related
して %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ステートメント
chiefOfState
AutonomousAgent
,
エンティティー
and
物
は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
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
AutonomousAgent
が
Dead
は
エンティティー
の
attribute
では %n を
desire
s %n{ない} は
時間間隔
の
during
holds %n{ない}
AutonomousAgent
URDER は
Murder
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
URDER の
agent
では %n
エンティティー
は
AutonomousAgent
URDER の
patient
では %n
時間間隔
は
AutonomousAgent
URDER の
time
の existence より
earlier
happens %n{ない}
Premeditated
は
AutonomousAgent
URDER の
attribute
では %n
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
では %n
エンティティー
は
OrganismRemains
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
は
工程
の
result
では %n
(=>
(
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
では %n
エンティティー
は
OrganismRemains
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
は
工程
の
result
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
は
Man
の
instance
では %n
Mausaharati
は
AutonomousAgent
の
attribute
では %n
工程
は
Drumming
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
AY は
日
の
instance
では %n
時間間隔
は
Sunrise
の
instance
では %n
時間間隔
は
工程
AY の
during
に takes %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
工程
は
エンティティー
時間間隔
UHUR and
エンティティー
エンティティー
は
WakingUp
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
UHUR は
Suhur
の
instance
では %n
エンティティー
は
時間間隔
UHUR の
agent
では %n
エンティティー
の
time
の existence は
時間間隔
UHUR の
time
の existence より
earlier
happens %n{ない}
エンティティー
の
time
の existence は
工程
AY の
during
に takes %n{ない}
時間間隔
UHUR の
time
の existence は
工程
AY の
during
に takes %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
MoodStabilizer
の
instance
では %n
工程
は
工程
C の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
S は
感情状態
の
instance
では %n
工程
2 は
工程
C の
instance
では %n
involvedInEvent
工程
2 and
AutonomousAgent
工程
2 の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
ステートメント
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
2 の
during
hold ない には
Unlikely
の
modal
force
が ある
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時間間隔
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
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
は
UserAccount
の
attribute
では %n
loggedInDuring
AutonomousAgent
,
UserAccount
and
時間間隔
時間間隔
F
時間間隔
F は
TwoFactorLoggingIn
の
instance
では %n
AutonomousAgent
は
時間間隔
F の
agent
では %n
accountUsed
時間間隔
F and
UserAccount
時間間隔
F の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and
正の整数
day
目
時間間隔
は
Holiday
の
instance
では %n
時間間隔
は
整数
year
目 の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happen ない
(=>
(
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
firstTimeBuyers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
firstTimeSellers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
ステートメント
PostExertionalMalaise
は
AutonomousAgent
の
attribute
では %n は
時間間隔
2 の
during
holds %n{ない}
工程
の
time
の existence は
時間間隔
2 より
earlier
happens %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
DislocatedCivilian
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
地理的地域
に
located
して %n は
時間間隔
の
during
holds %n{ない}
地理的地域
は
地理的地域
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
エンティティー
-PLACE and
エンティティー
-RES
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
-RES は
オブジェクト
の
instance
では %n
エンティティー
-PLACE は
地政学的地域
の
instance
では %n
エンティティー
-RES は
エンティティー
-PLACE に
located
して %n
地理的地域
は
エンティティー
-PLACE と
equal
では
エンティティー
は
エンティティー
-RES と
equal
では
geographicSubregion
地理的地域
and
エンティティー
-PLACE
geographicSubregion
エンティティー
-PLACE and
地理的地域
エンティティー
は
エンティティー
-RES に
live
s %n{ない} は
時間間隔
の
during
holds %n{ない}
(=>
(
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
Evacuee
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
AutonomousAgent
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
MilitaryOrganization
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
時間間隔
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
causesProposition
fears
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない} and
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
工程
は
Wedding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
エンティティー
の
developmental
form
は
属性
では %n は
時間間隔
の
during
holds %n{ない}
属性
は
属性
の
successor
attribute
では %n
時間間隔
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
の
developmental
form
は
属性
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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
移動
は
Bequeathing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
移動
は
エンティティー
に
end
s %n{ない}
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es %n{ない} and
Permission
(=>
(
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
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
時間間隔
エンティティー
は
Zygote
の
instance
では %n
時間間隔
は
工程
の
time
の existence より
earlier
happens %n{ない}
エンティティー
は
オブジェクト
に
located
して %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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
工程
は
Bleeding
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
工程
オブジェクト
は
Vein
の
instance
では %n
オブジェクト
は
Artery
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
損害を与える
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
オブジェクト
は
工程
の
patient
では %n
(=>
(
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
工程
は
Bodybuilding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Weightlifting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
AX
オブジェクト
AX は
Vaccination
の
instance
では %n
AutonomousAgent
が
オブジェクト
AX を
experience
s %n{ない}
vaccine
オブジェクト
ACCINECLASS and
オブジェクト
C
オブジェクト
ACCINE は
オブジェクト
ACCINECLASS の
instance
では %n
objectTransferred
オブジェクト
AX and
オブジェクト
ACCINE
オブジェクト
AX の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
ComputerProcess
は
ComputerBackingUp
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
DigitalData
の
instance
では %n
認識エージェント
は
ComputerProcess
の
agent
では %n
認識エージェント
が
エンティティー
ComputerProcess
の
time
の existence は
エンティティー
より
earlier
happens %n{ない}
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
DigitalData
は
エンティティー
を
dataProcessed
として行う
capable
では %n は
エンティティー
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
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
では %n
Agreement
は
時間間隔
の
agent
では %n
時間間隔
は
命題
の情報を
contain
s %n{ない}
時間間隔
ContentBearingPhysical
and
Agreement
2
時間間隔
は
記載
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ContentBearingPhysical
は
ReachingAgreement
の
instance
では %n
Agreement
2 は
時間間隔
の
agent
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間間隔
は
命題
の情報を
contain
s %n{ない}
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
実数
実数
,
時間間隔
,
時間間隔
and
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
実数
実数
,
時間間隔
,
時間間隔
and
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
,
時間間隔
,
時間間隔
and
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
の
measure
は
エンティティー
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
の
measure
は
エンティティー
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
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
では %n
時間間隔
は
正の整数
day
目 の
instance
では %n
正の整数
は
正の整数
より
greater
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
工程
は
DismantlingWeaponOfMassDestruction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
DevelopingWeaponOfMassDestruction
の
instance
では %n
エンティティー
は
工程
の
result
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
College
の
instance
では %n
工程
AutonomousAgent
工程
は
卒業
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
SecondarySchool
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
College
の
instance
では %n
工程
AutonomousAgent
工程
は
卒業
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
HighSchool
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
は
Man
の
instance
では %n
Mausaharati
は
AutonomousAgent
の
attribute
では %n
工程
は
Drumming
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
AY は
日
の
instance
では %n
時間間隔
は
Sunrise
の
instance
では %n
時間間隔
は
工程
AY の
during
に takes %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
工程
は
エンティティー
時間間隔
UHUR and
エンティティー
エンティティー
は
WakingUp
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
UHUR は
Suhur
の
instance
では %n
エンティティー
は
時間間隔
UHUR の
agent
では %n
エンティティー
の
time
の existence は
時間間隔
UHUR の
time
の existence より
earlier
happens %n{ない}
エンティティー
の
time
の existence は
工程
AY の
during
に takes %n{ない}
時間間隔
UHUR の
time
の existence は
工程
AY の
during
に takes %n{ない} の 目的 %n{ない}
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
では %n ?CUT は
切断
の
instance
では %n ?X は ?CUT の
instrument
では %n ?PAPER は
Paper
の
instance
では %n ?PAPER は ?CUT の
patient
では %n ?CBO は ?PAPER に
located
して %n ?CBO は
VisualContentBearingObject
の
instance
では %n ?CBO は ?INFO の情報を
contain
s %n{ない} は ?READ ?READ は
Interpreting
の
instance
では %n ?INFO は ?READ の
patient
では %n ?CUT の
time
の existence は ?READ の
time
の existence より
earlier
happens %n{ない} を
decrease
s 可能性がある
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