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
WhenFn
Sigma KEE - WhenFn
WhenFn
appearance as argument number 1
(
documentation
WhenFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
Object
或
Process
联系到它存在的准确
TimeInterval
。注:在
TimeInterval
(WhenFn ?THING)以外的 每一个
TimePoint
?TIME, (time ?THING ?TIME) 并不存在")
chinese_format.kif 2736-2738
(
documentation
WhenFn
EnglishLanguage
"A
UnaryFunction
that maps an
Object
or
Process
to the exact
TimeInterval
during which it exists. Note that, for every
TimePoint
?TIME outside of the
TimeInterval
(WhenFn ?THING), (time ?THING ?TIME) does not hold.")
Merge.kif 8471-8474
(
documentation
WhenFn
JapaneseLanguage
"
UnaryFunction
は、
Object
または
Process
が存在 する正確な
TimeInterval
にマップされる。 注:%TimeInterval の外側のすべての
TimeInterval
(WhenFn ?THING) では、(時間 ?THING ?TIME) は保持されない。")
japanese_format.kif 1462-1464
(
domain
WhenFn
1
Physical
)
Merge.kif 8468-8468
WhenFn
の数値 1 引数は
物理
の
instance
では %n
(
instance
WhenFn
TemporalRelation
)
Merge.kif 8465-8465
WhenFn
は
時間関係
の
instance
では %n
(
instance
WhenFn
TotalValuedRelation
)
Merge.kif 8467-8467
WhenFn
は
合計値関係
の
instance
では %n
(
instance
WhenFn
UnaryFunction
)
Merge.kif 8466-8466
WhenFn
は
1変数関数
の
instance
では %n
(
range
WhenFn
TimeInterval
)
Merge.kif 8469-8469
WhenFn
の
range
は
時間間隔
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
WhenFn
"%1 出现 的
time
")
chinese_format.kif 455-455
(
format
EnglishLanguage
WhenFn
"the
time
of existence of %1")
english_format.kif 461-461
(
format
FrenchLanguage
WhenFn
"temps d'existence de %1")
french_format.kif 264-264
(
format
ItalianLanguage
WhenFn
"il tempo di esistenza di %1")
relations-it.txt 314-314
(
format
JapaneseLanguage
WhenFn
"%1 の
time
の existence")
japanese_format.kif 2054-2054
(
format
PortugueseLanguage
WhenFn
"tempo de existencia de %1")
portuguese_format.kif 216-216
(
format
cz
WhenFn
"doba existence %1")
relations-cz.txt 270-270
(
format
de
WhenFn
"die zeit des Bestehens von %1")
relations-de.txt 595-595
(
format
hi
WhenFn
"%1 ke astitva kaa samaya")
relations-hindi.txt 349-349
(
format
ro
WhenFn
"
time
%t{timpul} existenþei lui %1")
relations-ro.kif 285-285
(
format
sv
WhenFn
"tiden då %1 existerade")
relations-sv.txt 290-290
(
format
tg
WhenFn
"ang panahon ng kabuhayan ng %1")
relations-tg.txt 506-506
(
relatedInternalConcept
WhereFn
WhenFn
)
Merge.kif 4225-4225
WhereFn
は
WhenFn
に
internally
関連して %n
(
termFormat
ChineseLanguage
WhenFn
"何时")
domainEnglishFormat.kif 62997-62997
(
termFormat
ChineseLanguage
WhenFn
"何时函数")
chinese_format.kif 456-456
(
termFormat
ChineseTraditionalLanguage
WhenFn
"何時")
domainEnglishFormat.kif 62996-62996
(
termFormat
EnglishLanguage
WhenFn
"when")
domainEnglishFormat.kif 62995-62995
antecedent
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
ADHD
は
AutonomousAgent
の
attribute
では %n
ADHD
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
AutonomousAgent
と
equal
では
工程
は
クラス
の
instance
では %n
工程
は
クラス
の
instance
では %n
クラス
は
意図的な心理的プロセス
の
subclass
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
ステートメント
時間分
は
時間分
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
実数
の
MilesPerHour
(s) and
時間分
オブジェクト
は
Automobile
の
instance
では %n
工程
は
GasPedal
の
instance
では %n
工程
は
Pushing
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Crankshaft
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
オブジェクト
の
measure
は
RotationFn
エンティティー
の
MilesPerHour
(s) and
時間分
では %n は
工程
の
time
の existence の
during
holds %n{ない}
ステートメント
エンティティー
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22869-22874
時点
は
工程
の
time
の existence の
beginning
と
equal
では %n
時点
は
AutonomousAgent
の
time
の existence の
end
と
equal
では %n
AutonomousAgent
は
工程
の 受益者では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29512-29521
時点
は
工程
の
time
の existence の
beginning
と
equal
では %n
時点
は
AutonomousAgent
の
time
の existence の
end
と
equal
では %n
suffers
工程
and
AutonomousAgent
時点
は
時点
の
before
に 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
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
起動
は
エンジニアリング部品
の
attribute
では %n は
物理
の
during
holds %n{ない}
HostReady
は
エンジニアリング部品
の
attribute
では %n は
物理
2 の
during
holds %n{ない}
物理
2 は
物理
の
time
の existence の すぐ
after
と
equal
では %n
エンジニアリング部品
は
ComputerDisplay
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
ステートメント
エンティティー
エンティティー
は
ホームスクリーン
の
instance
では %n
displayedUpon
エンティティー
and
エンジニアリング部品
には
Likely
の
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
(
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 30579-30600
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
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18173-18179
Embryonic
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
出生
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
は
時間間隔
と
overlap
dない
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18151-18157
Larval
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
出生
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17165-17175
工程
は
Accelerating
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
Decelerating
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
は
工程
の
time
の existence と
equal
では %n
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
工程
は
Ambulating
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Stepping
の
instance
では %n
工程
START は
工程
の
time
の existence の
beginning
と
equal
では %n
工程
START は
工程
の
time
の existence の
beginning
と
equal
では %n
工程
START は
工程
START の
before
に happens %n{ない}
工程
START は
工程
START の
before
に happens %n{ない}
工程
は
工程
と
equal
では %n
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9811-9833
オブジェクト
は
Antacid
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12353-12367
工程
は
取付け
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectAttached
工程
and
エンティティー
objectAttached
工程
and
エンティティー
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9872-9894
オブジェクト
は
ProtonPumpInhibitor
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3767-3792
AccessingWebPage
は
AccessingWebPage
の
instance
では %n
エンティティー
は
WebPage
の
instance
では %n
工程
は
DataTransfer
の
instance
では %n
オブジェクト
は
Server
の
instance
では %n
工程
は
要求
の
instance
では %n
AutonomousAgent
は
WebBrowser
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
は
AccessingWebPage
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
の
time
の existence の
end
は
時間間隔
の
beginning
と
equal
では %n
工程
の
time
の existence の
end
は
時間間隔
の
end
と
equal
では %n
SiteSpeedFn
AccessingWebPage
は
時間間隔
と
equal
では %n
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
工程
は
Ambulating
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
工程
工程
工程
は
Stepping
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
時間間隔
を
start
s %n{ない}
工程
の
time
の existence は
時間間隔
を
finish
es %n{ない}
工程
は
工程
と
equal
では
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
工程
は
ArmedReconnaissance
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
enemy
認識エージェント
and
エンティティー
は
工程
の
time
の existence の
during
holds %n{ない}
工程
は
認識エージェント
が
エンティティー
エンティティー
は
Attack
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
工程
は
AntiSurfaceOperation
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
エンティティー
は
水域
の
instance
では %n
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13801-13809
工程
は
沸騰
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11617-11624
工程
は
所有権の変更
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
コレクション
は
コレクション
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
時点
は
時点
の
instance
では %n
listingSeller
WebListing
and
AutonomousAgent
WebListing
は
コレクション
の
member
では
物理
物理
物理
は
WebListing
の
instance
では %n
物理
は
SellersItemsFn
AutonomousAgent
and
WebSite
の
member
では %n
時点
は
物理
の
time
の existence の
part
では %n
物理
は
WebListing
と
equal
では
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
時点
は
物理
の
time
の existence の
part
では %n
物理
は
WebListing
の
instance
では %n
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
時点
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
命題
は
ConstitutionFn
地政学的地域
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
政府
は
地政学的地域
の
government
と
equal
では %n
政府
の
time
の existence は
時間位置
の
instance
では %n
agreementEffectiveDuring
命題
and
時間位置
命題
は
命題
の
sub
-proposition では %n
公式
は
命題
の情報を
contain
s %n{ない}
政府
はタイプ
公式
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
は
DataCompression
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
実数
の
エンティティー
(s) は
ComputerProcess
の
time
の existence の immediately
before
の
during
holds %n{ない}
memorySize
DigitalData
and
実数
の
エンティティー
(s) は
ComputerProcess
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12436-12443
工程
は
組み合わせ
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(<=>
(
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 383-416
年
は
年
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 108-123
年
は
整数
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 144-159
年
は
整数
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 264-290
年
は
整数
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 429-462
年
は
整数
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 336-368
年
は
整数
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 30140-30153
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 30188-30196
Mute
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
Speaking
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 940-947
yearOfFounding
組織
and
整数
工程
整数
EAR
整数
EAR は
工程
の
time
の existence と
overlap
s %n{dない}
整数
EAR は
整数
year
目 の
instance
では %n
工程
は
Founding
の
instance
では %n
組織
は
工程
の
result
では %n
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16824-16833
almaMater
人[人間]
and
PostSecondarySchool
工程
工程
は
教育過程
の
instance
では %n
工程
は
人[人間]
に
end
s %n{ない}
eventLocated
工程
and
PostSecondarySchool
Student
は
人[人間]
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20709-20716
actedIn
人[人間]
and
ContentBearingPhysical
工程
は
DramaticActing
の
instance
では %n
人[人間]
は
工程
の
patient
では %n
ContentBearingPhysical
は
工程
の
result
では %n
Actor
は
人[人間]
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18786-18792
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
芸術作品
の
instance
では %n
Artist
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6203-6216
allergic
人[人間]
and
物質
物質
UB は
物質
の
instance
では %n
物質
UB は
人[人間]
と
meet
s %n{ない} は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
エンティティー
は
AllergicReaction
の
instance
では %n
人[人間]
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
時間位置
と
overlap
s %n{dない}
時間位置
の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
(
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
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
CoverRecording
は
MusicRecording
の
attribute
では %n
MusicRecording
は
MusicRecording
の
instance
では %n
songArtist
MusicRecording
and
認識エージェント
musicInterpretation
MusicRecording
and
音楽
record
MusicRecording
and
音楽
M
MusicRecording
認識エージェント
RTIST and
音楽
USIC
musicInterpretation
MusicRecording
and
音楽
songArtist
MusicRecording
and
認識エージェント
RTIST
認識エージェント
は
認識エージェント
RTIST と
equal
では
record
MusicRecording
and
音楽
USIC
音楽
USIC の
time
の existence は
音楽
M の
time
の existence の
before
に happens %n{ない}
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
FOKOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
GTCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
と
overlap
s %n{dない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
IOCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
購買
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
askPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
または同等 では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
販売
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
bidPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は
実数
greater
では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Table
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
AutonomousAgent
は
エンティティー
と
equal
では
エンティティー
は
GroupOfPeople
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s %n{ない}
オブジェクト
は
オブジェクト
2 と
equal
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13811-13824
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
Gas
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
沸騰
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
認識エージェント
and
時点
guest
認識エージェント
and
認識エージェント
expects
認識エージェント
and
エンティティー
エンティティー
エンティティー
は
時点
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
CheckOutService
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
before
に happens %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 18151-18168
?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 可能性がある
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1970-1978
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
JesusOfNazareth
の
time
の existence を
finish
es %n{ない}
時間間隔
は
TwelveApostles
の
time
の existence を
start
s %n{ない}
エンティティー
エンティティー
は
TwelveApostles
の
member
では %n は
時間間隔
の
during
holds %n{ない}
friend
エンティティー
and
JesusOfNazareth
は
時間間隔
の
during
holds %n{ない}
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
JesusOfNazareth
は
Palestine
に
located
して %n は
JesusOfNazareth
の
time
の existence の
during
holds %n{ない}
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