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
ObstructiveShock
Sigma KEE - during
during
appearance as argument number 1
(
documentation
during
ChineseLanguage
"(
during
?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先 结束。")
chinese_format.kif 2720-2721
(
documentation
during
EnglishLanguage
"(
during
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.")
Merge.kif 8348-8349
(
documentation
during
JapaneseLanguage
"(
during
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1が ?INTERVAL2の後に始まり、?INTERVAL2の前に終了することを意味する。")
japanese_format.kif 1444-1445
(
domain
during
1
TimeInterval
)
Merge.kif 8345-8345
during
の数値 1 引数は
時間間隔
の
instance
では %n
(
domain
during
2
TimeInterval
)
Merge.kif 8346-8346
during
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
during
BinaryPredicate
)
Merge.kif 8342-8342
during
は
2進述語
の
instance
では %n
(
instance
during
IrreflexiveRelation
)
Merge.kif 8343-8343
during
は
非反射関係
の
instance
では %n
(
instance
during
TransitiveRelation
)
Merge.kif 8341-8341
during
は
推移関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
during
"%1 %n{doesn't} 在 %2 时段内发生")
chinese_format.kif 433-433
(
format
EnglishLanguage
during
"%1 %n{doesn't} take%p{s} place
during
%2")
english_format.kif 439-439
(
format
FrenchLanguage
during
"%1 %n{ne} prend %n{pas} place pendant %2")
french_format.kif 251-251
(
format
ItalianLanguage
during
"%1 %n{non} ha%p{s} luogodurante %2")
relations-it.txt 86-86
(
format
JapaneseLanguage
during
"%1 は %2 の
during
に take%p{s} %n{ない}")
japanese_format.kif 2045-2045
(
format
PortugueseLanguage
during
"%1 %n{nao} %n acontece durante %2")
portuguese_format.kif 203-203
(
format
cz
during
"%1 %n{doesn't} take%p{s} place
during
%2")
relations-cz.txt 257-257
(
format
de
during
"%1 geschieht waehrend %2 %n{nicht}")
relations-de.txt 565-565
(
format
hi
during
"%1 %2 ke dauraana ghaTita %n{nahiin} hotaa hai")
relations-hindi.txt 126-126
(
format
ro
during
"%1 %n{nu} take%t{are} loc
during
%t{pe perioada} %2")
relations-ro.kif 272-272
(
format
sv
during
"%1 ägde %n{inte} rum under %2")
relations-sv.txt 275-275
(
format
tg
during
"%1 %n nagaanap habang %2")
relations-cb.txt 120-120
(
termFormat
ChineseLanguage
during
"在这时间内")
chinese_format.kif 434-434
(
termFormat
ChineseLanguage
during
"期间")
domainEnglishFormat.kif 20694-20694
(
termFormat
ChineseTraditionalLanguage
during
"期間")
domainEnglishFormat.kif 20693-20693
(
termFormat
EnglishLanguage
during
"during")
domainEnglishFormat.kif 20692-20692
(
termFormat
tg
during
"sa panahon ng")
relations-tg.txt 188-188
antecedent
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
時間間隔
and
整数
時間間隔
は
分
の
instance
では %n
整数
整数
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
整数
の
agent
では %n
時間間隔
は
整数
の
time
の existence の
during
に takes %n{ない}
HumanAdult
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
整数
は 16 より
greater
では %n
整数
は 12 より
less
では %n
Healthy
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
(=>
(
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
(
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
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Pain
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
動作
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Speaking
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %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
(
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 30686-30707
Dieting
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Dieting
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
Meal
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
Calorie
(s) では %n
オブジェクト
は
Meal
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
Calorie
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
Lent
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
Lent
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8958-8965
時間間隔
は
Evening
の
instance
では %n
時間間隔
は
Afternoon
の
instance
では %n
時間間隔
は
日
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
に
meet
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
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
工程
は
MeasuringBreathing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
の
duration
は
MinuteDuration
では %n
オブジェクト
は
工程
の
patient
では %n
エンティティー
AutonomousAgent
は
breathingRate
オブジェクト
,
時間間隔
and
エンティティー
を
know
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
時間間隔
は
時間間隔
_CLASS の
instance
では %n
時間間隔
_CLASS は
工程
の
subclass
では %n
AccessingWebPage
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AccessingWebPage
の
agent
では %n
時間間隔
は
AccessingWebPage
の
during
に takes %n{ない}
物理
は
時間間隔
の
instance
では %n
時間間隔
2
時間間隔
2 は
時間間隔
_CLASS の
instance
では %n
AutonomousAgent
は
時間間隔
2 の
agent
では %n
時間間隔
2 は
AccessingWebPage
の
during
に takes %n{ない}
時間間隔
2 の
time
の existence の
beginning
は
時間間隔
の
time
の existence の
beginning
の
before
に happens %n{ない}
AccessingWebPage
の
time
の existence の
beginning
は
物理
の
time
の existence の
beginning
と
equal
では %n
時間間隔
の
time
の existence の
beginning
は
物理
の
time
の existence の
end
と
equal
では %n
TTFxFn
時間間隔
_CLASS and
AccessingWebPage
は
物理
と
equal
では %n
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
時間間隔
は
TimePeriod
の
instance
では %n
時間間隔
の
duration
は
実数
の
MinuteDuration
(s) では %n
実数
は 5.0 より
greater
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
工程
は
呼吸
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
エンティティー
は
工程
の
patient
では %n
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
は
エンティティー
の
time
の existence に
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
時間間隔
は
Advent
の
instance
では %n
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
時間間隔
は
Advent
の
instance
では %n
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
AccessingWebPage
の
instance
では %n
工程
AutonomousAgent
,
工程
,
工程
and
オブジェクト
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
オブジェクト
は
WebPage
の
instance
では %n
工程
は
コレクション
の
member
では %n
工程
は
オブジェクト
に
end
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
工程
の
instrument
では %n
工程
は
コレクション
の
member
では %n
時間間隔
エンティティー
_IN_INTERVAL and
エンティティー
_IN_INTERVAL
SCRFn
コレクション
and
時間間隔
は
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 +
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 と
equal
では %n
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?A
AscensionThursday
)
(
during
?E ?Y)
(
during
?A ?Y)
(
starts
?E ?I)
(
finishes
?A ?I))
(
duration
?I
(
MeasureFn
40
DayDuration
)))
Media.kif 538-547
時間間隔
は
年
の
instance
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
AscensionThursday
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 40 の
DayDuration
(s) では %n
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
PalmSunday
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?P ?I)
(
finishes
?E ?I))
(
duration
?I
(
MeasureFn
8
DayDuration
)))
Media.kif 473-482
時間間隔
は
年
の
instance
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
PalmSunday
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 8 の
DayDuration
(s) では %n
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
Pentecost
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?E ?I)
(
finishes
?P ?I))
(
duration
?I
(
MeasureFn
50
DayDuration
)))
Media.kif 559-568
時間間隔
は
年
の
instance
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
Pentecost
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 50 の
DayDuration
(s) では %n
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2711-2731
visibilityInMeteorology
地域
,
時間間隔
and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
時間間隔
は
DayTime
の
instance
では %n
工程
は
Looking
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
color
オブジェクト
and
Black
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
Horizontal
対
オブジェクト
では %n
eventLocated
工程
and
地域
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
実数
AutonomousAgent
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2733-2754
visibilityInMeteorology
地域
,
時間間隔
and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
時間間隔
は
NightTime
の
instance
では %n
工程
は
Looking
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
Illuminated
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 1000.0 の
Candela
(s) では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
Horizontal
対
オブジェクト
では %n
eventLocated
工程
and
地域
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
実数
AutonomousAgent
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
during
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))))
Merge.kif 8351-8355
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
の
end
は
時間間隔
の
end
の
before
に happens %n{ない}
時間間隔
の
beginning
は
時間間隔
の
beginning
の
before
に happens %n{ない}
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8294-8296
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
part
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
年
は
年
EAR
year
目 の
instance
では %n
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97
年
は
整数
year
目 の
instance
では %n
BirthsPerThousandFn
地政学的地域
and
年
は
実数
と
equal
では %n
PopulationFn
地政学的地域
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133
年
は
整数
year
目 の
instance
では %n
DeathsPerThousandFn
地政学的地域
and
年
は
実数
と
equal
では %n
PopulationFn
地政学的地域
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
年
は
整数
year
目 の
instance
では %n
DeathsPerThousandLiveBirthsFn
地政学的地域
and
年
は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
年
は
整数
year
目 の
instance
では %n
FemaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
年
は
整数
year
目 の
instance
では %n
LifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30247-30260
Alone
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
2
工程
エンティティー
は
エンティティー
2 と
equal
では
エンティティー
2 は
AutonomousAgent
の
instance
では %n
工程
は
社会的交流
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
2
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 30295-30303
Mute
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
Speaking
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
Muslim
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
の所有物の
value
は
通貨測定
と
equal
では %n
ステートメント
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Zakat
の
instance
では %n
エンティティー
は
年
の
instance
では %n
エンティティー
は
AutonomousAgent
の
time
の existence の
during
に takes %n{ない}
FullyFormed
は
AutonomousAgent
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
value
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
通貨測定
+ 0.025 より
greater
では %n には
Obligation
の
modal
force
が ある
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
firstTimeBuyers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
firstTimeSellers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
感情状態
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
actionTendency
感情状態
and
EmotionalBehavioralProcess
ステートメント
エンティティー
エンティティー
は
EmotionalBehavioralProcess
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
during
に takes %n{ない}
エンティティー
が
エンティティー
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Pain
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
動作
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Speaking
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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 2550-2566
オブジェクト
の
measure
は
関数量
では %n は
時間位置
の
during
holds %n{ない}
engineIdleSpeed
InternalCombustionEngine
and
関数量
オブジェクト
は
Automobile
の
instance
では %n
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
時間位置
の
during
に takes %n{ない}
エンティティー
は
Pushing
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
オブジェクト
の
part
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30266-30277
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
Motionless
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
動作
の
instance
では %n
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10604-10620
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
motion
は
動作
の
instance
では %n
moves
motion
and
オブジェクト
ステートメント
motion
2
motion
2 は
動作
の
instance
では %n
moves
motion
2 and
オブジェクト
motion
2 の
time
の existence は
motion
の
time
の existence の
during
に takes %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8414-8427
AutonomousAgent
は
CavalryUnit
の
instance
では %n
時間間隔
は
戦い
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
エンティティー
and
時間間隔
Soldier
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
AutonomousAgent
の
member
では %n
時間間隔
は
交通手段
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
エンティティー
は
Vehicle
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?E
Afternoon
)
(
instance
?D
Day
)
(
equal
?E
(
AfternoonFn
?D)))
(
during
?E ?D))
Merge.kif 8876-8881
Afternoon
は
Afternoon
の
instance
では %n
日
は
日
の
instance
では %n
Afternoon
は
AfternoonFn
日
と
equal
では %n
Afternoon
は
日
の
during
に takes %n{ない}
(=>
(
and
(
instance
?E
Evening
)
(
instance
?D
Day
)
(
equal
?E
(
EveningFn
?D)))
(
during
?E ?D))
Merge.kif 8976-8981
Evening
は
Evening
の
instance
では %n
日
は
日
の
instance
では %n
Evening
は
EveningFn
日
と
equal
では %n
Evening
は
日
の
during
に takes %n{ない}
(=>
(
and
(
instance
?E
Morning
)
(
instance
?D
Day
)
(
equal
?E
(
MorningFn
?D)))
(
during
?E ?D))
Merge.kif 8860-8865
Morning
は
Morning
の
instance
では %n
日
は
日
の
instance
では %n
Morning
は
MorningFn
日
と
equal
では %n
Morning
は
日
の
during
に takes %n{ない}
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1881-1900
工程
は
EngineCycle
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では %n
maxCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1851-1870
工程
は
EngineCycle
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では %n
minCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1926-1948
工程
は
EngineCycle
の
instance
では %n
Engine
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
Piston
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
オブジェクト
は
Engine
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
eventLocated
工程
and
Engine
pistonStroke
Engine
and
実数
の
測定単位
(s)
時間間隔
時間間隔
,
物理
,
物理
and
実数
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
物理
と
物理
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
工程
は
ExperiencingDiscomfortInTheStomach
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
AIN and
オブジェクト
工程
は
知覚
の
instance
では %n
工程
の
time
の existence は
工程
AIN の
time
の existence の
during
に takes %n{ない}
工程
AIN は
Pain
の
instance
では %n
AutonomousAgent
が
工程
AIN を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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