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
FutureFn
Sigma KEE - FutureFn
FutureFn
appearance as argument number 1
(
documentation
FutureFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimePosition
联系到和它相遇并在
PositiveInfinity
结束的
TimeInterval
。")
chinese_format.kif 2743-2744
(
documentation
FutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to the
TimeInterval
which it meets and which ends at
PositiveInfinity
.")
Merge.kif 8550-8551
(
documentation
FutureFn
JapaneseLanguage
"
UnaryFunction
は、
PositiveInfinity
で満たして 終了する
TimePosition
をマップする。")
japanese_format.kif 1469-1470
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8547-8547
FutureFn
の数値 1 引数は
時間位置
の
instance
では %n
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8544-8544
FutureFn
は
時間関係
の
instance
では %n
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8546-8546
FutureFn
は
合計値関係
の
instance
では %n
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8545-8545
FutureFn
は
1変数関数
の
instance
では %n
(
range
FutureFn
TimeInterval
)
Merge.kif 8548-8548
FutureFn
の
range
は
時間間隔
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
FutureFn
"%1 之后")
chinese_format.kif 461-461
(
format
EnglishLanguage
FutureFn
"after %1")
english_format.kif 467-467
(
format
FrenchLanguage
FutureFn
"apr�s %1")
french_format.kif 267-267
(
format
ItalianLanguage
FutureFn
"dopo %1")
relations-it.txt 115-115
(
format
JapaneseLanguage
FutureFn
"%1 の after")
japanese_format.kif 2057-2057
(
format
PortugueseLanguage
FutureFn
"apos %1")
portuguese_format.kif 219-219
(
format
cz
FutureFn
"po %1'")
relations-cz.txt 273-273
(
format
de
FutureFn
"nach %1")
relations-de.txt 602-602
(
format
hi
FutureFn
"%1 ke baada")
relations-hindi.txt 155-155
(
format
ro
FutureFn
"after%t{dupã} %1")
relations-ro.kif 288-288
(
format
sv
FutureFn
"efter %1")
relations-sv.txt 294-294
(
format
tg
FutureFn
"pagkatapos ng %1")
relations-tg.txt 240-240
(
termFormat
ChineseLanguage
FutureFn
"未来")
domainEnglishFormat.kif 25304-25304
(
termFormat
ChineseLanguage
FutureFn
"未来函数")
chinese_format.kif 462-462
(
termFormat
ChineseTraditionalLanguage
FutureFn
"未來")
domainEnglishFormat.kif 25303-25303
(
termFormat
EnglishLanguage
FutureFn
"future")
domainEnglishFormat.kif 25302-25302
(
termFormat
tg
FutureFn
"tungkulin ng pagkatapos")
relations-tg.txt 241-241
consequent
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14082-14085
agreementExpirationDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
ない は
時点
の
after
の
during
holds %n{ない}
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 510-517
independenceDate
地政学的地域
and
時間間隔
時間位置
は
時間間隔
の
instance
では %n
エンティティー
dependentGeopoliticalArea
地政学的地域
and
エンティティー
は
時間位置
の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10258-10273
工程
は
死
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
エンティティー
は
工程
の
result
では %n
エンティティー
は
有機物
の
instance
では %n
Dead
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
part
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12092-12108
工程
は
Deciding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
セット
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
は
エンティティー
の
element
%n
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
金融取引
は
Deposit
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
移動
は
Injecting
の
instance
では %n
オブジェクト
は
Adalimumab
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?PATIENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Living
))
(
holdsDuring
(
FutureFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Dead
))))
Merge.kif 12351-12357
工程
は
殺害
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
Living
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Dead
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8651-8662
オブジェクト
は
Poison
の
instance
では %n
motion
は
摂取
の
instance
では %n
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s %n{ない}
ステートメント
Blind
は
AutonomousAgent
の
attribute
では %n は
motion
の
time
の existence の
after
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13303-13308
工程
は
Naming
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
の
name
を 持って %n{ない} は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
工程
は
ReachingAgreement
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
Agreement
の
instance
では %n
partyToAgreement
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
金融取引
は
Withdrawal
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22163-22171
工程
は
SuicideBombing
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
Dead
は
認識エージェント
の
attribute
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない} を
believe
s %n{ない}
(=>
(
instance
?AP
Antidepressant
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Depression
)))))))
Mid-level-ontology.kif 9724-9736
物理
は
Antidepressant
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
摂取
の
instance
では %n
objectTransferred
エンティティー
and
物理
エンティティー
は
物理
の
agent
では %n
Depression
は
エンティティー
の
attribute
では は
エンティティー
の
time
の existence の
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?AP
Antipsychotic
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Psychosis
)))))))
Mid-level-ontology.kif 9744-9756
物理
は
Antipsychotic
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
摂取
の
instance
では %n
objectTransferred
エンティティー
and
物理
エンティティー
は
物理
の
agent
では %n
Psychosis
は
エンティティー
の
attribute
では は
エンティティー
の
time
の existence の
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?DISEASE
VaccinatableDisease
)
(
exists
(?VACCINE ?HUMAN ?PUT)
(
and
(
instance
?VACCINE
Vaccine
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
)
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
))))
WMD.kif 1046-1059
エンティティー
は
VaccinatableDisease
の
instance
では %n
エンティティー
エンティティー
and
工程
エンティティー
は
Vaccine
の
instance
では %n
工程
は
置く
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n ステートメント
エンティティー
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8557-8559
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
after
は
時間間隔
の
end
と
PositiveInfinity
の
interval
と
equal
では %n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8553-8555
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
after
に
meet
s %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8571-8573
時間位置
は
時間間隔
の
instance
では %n
時間位置
の すぐ
after
は
時間位置
の
after
を
start
s %n{ない}
(=>
(
instance
?N
AntiInflammatory
)
(
hasPurpose
?N
(
exists
(?I ?H ?IN)
(
and
(
instance
?I
Inflammation
)
(
experiencer
?H ?I)
(
instance
?IN
Ingesting
)
(
before
(
BeginFn
(
WhenFn
?I))
(
BeginFn
(
WhenFn
?IN)))
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
Inflammation
)
(
experiencer
?I2 ?H)))))))))
Mid-level-ontology.kif 12448-12468
物理
は
AntiInflammatory
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
N
エンティティー
は
Inflammation
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
N は
摂取
の
instance
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
N の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
2
エンティティー
2 は
Inflammation
の
instance
では %n
エンティティー
が
エンティティー
2 を
experience
s %n{ない} は
エンティティー
の
time
の existence の
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
SuicideBombing
)
(
exists
(?A)
(
and
(
agent
?X ?A)
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?A
Dead
)))))
Mid-level-ontology.kif 22153-22161
工程
は
SuicideBombing
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
Dead
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2501-2504
Serbia
は
EuropeanNation
の
instance
では %n
時間位置
は 5
day
目 の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2496-2499
Serbia
は
IndependentState
の
instance
では %n
時間位置
は 5
day
目 の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
は "Republic of Serbia" の
name
を 持って %n{ない}
時間位置
は 5
day
目 の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は
EuropeanNation
の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は
IndependentState
の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は "Montenegro" の
name
を 持って %n{ない} は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
時間位置
は 3
day
目 の
instance
では %n
SerbiaAndMontenegro
は
IndependentState
の
instance
では は
時間位置
の
after
の
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