Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 8627-8628
(
documentation
FutureFn
JapaneseLanguage
"
UnaryFunction
は、
PositiveInfinity
で満たして 終了する
TimePosition
をマップする。")
japanese_format.kif 1469-1470
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8624-8624
FutureFn
の数値 1 引数は
時間位置
の
instance
では
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8621-8621
FutureFn
は
時間関係
の
instance
では
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8623-8623
FutureFn
は
合計値関係
の
instance
では
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8622-8622
FutureFn
は
1変数関数
の
instance
では
(
range
FutureFn
TimeInterval
)
Merge.kif 8625-8625
FutureFn
の
range
は
時間間隔
のインスタンス では
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 25315-25315
(
termFormat
ChineseLanguage
FutureFn
"未来函数")
chinese_format.kif 462-462
(
termFormat
ChineseTraditionalLanguage
FutureFn
"未來")
domainEnglishFormat.kif 25314-25314
(
termFormat
EnglishLanguage
FutureFn
"future")
domainEnglishFormat.kif 25313-25313
(
termFormat
de
FutureFn
"ZukunftFn")
terms-de.txt 186-186
(
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 15426-15429
agreementExpirationDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
ない は
時点
の
after
の
during
holds
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 510-517
independenceDate
地政学的地域
and
時間間隔
時間位置
は
時間間隔
の
instance
では
エンティティー
dependentGeopoliticalArea
地政学的地域
and
エンティティー
は
時間位置
の
after
の
during
holds
(=>
(
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 10362-10377
工程
は
死
の
instance
では
AutonomousAgent
は
物
の
instance
では
AutonomousAgent
が
工程
を
experience
s
エンティティー
エンティティー
エンティティー
は
工程
の
result
では
エンティティー
は
有機物
の
instance
では
Dead
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
after
の
during
holds
エンティティー
は
エンティティー
の
part
では は
工程
の
time
の existence の すぐ
after
の
during
holds
エンティティー
は
AutonomousAgent
の
part
では は
工程
の
time
の existence の immediately
before
の
during
holds
(=>
(
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 12196-12212
工程
は
Deciding
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
patient
では
エンティティー
は
セット
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
は
エンティティー
の
element
エンティティー
は
意図的なプロセス
の
instance
では
AutonomousAgent
は
エンティティー
の
agent
では は
工程
の
time
の existence の
after
の
during
holds
(=>
(
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 438-455
金融取引
は
Deposit
の
instance
では
FinancialAccount
は
FinancialAccount
の
instance
では
金融取引
は
CurrencyFn
FinancialAccount
に
end
s
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
equal
実数
and (
実数
+
実数
)
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 3631-3647
移動
は
Injecting
の
instance
では
オブジェクト
は
Adalimumab
の
instance
では
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して
オブジェクト
は
体の部分
の
instance
では
移動
は
エンティティー
に
end
s
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では は
エンティティー
の
during
holds
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes には
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 12455-12461
工程
は
殺害
の
instance
では
エンティティー
は
工程
の
patient
では
Living
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds
Dead
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
after
の
during
holds
(=>
(
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 9830-9841
オブジェクト
は
Poison
の
instance
では
motion
は
摂取
の
instance
では
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s
ステートメント
Blind
は
AutonomousAgent
の
attribute
では は
motion
の
time
の existence の
after
の
during
holds には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13411-13416
工程
は
Naming
の
instance
では
エンティティー
は
工程
の
patient
では
工程
は
エンティティー
に
end
s
エンティティー
は
エンティティー
の &ames$"name" を 持って は
工程
の
time
の existence の
after
の
during
holds
(=>
(
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
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
result
では
エンティティー
は
Agreement
の
instance
では
partyToAgreement
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
after
の
during
holds
(=>
(
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 468-483
金融取引
は
Withdrawal
の
instance
では
FinancialAccount
は
FinancialAccount
の
instance
では
金融取引
は
FinancialAccount
から
originate
s
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
equal
実数
and (
実数
+
実数
)
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 23754-23762
工程
は
SuicideBombing
の
instance
では
認識エージェント
は
工程
の
agent
では
認識エージェント
は
Dead
は
認識エージェント
の
attribute
では は
工程
の
time
の existence の
after
の
during
holds を
believe
s
(=>
(
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 11026-11038
物理
は
Antidepressant
の
instance
では
物理
は
エンティティー
エンティティー
エンティティー
は
摂取
の
instance
では
objectTransferred
エンティティー
and
物理
エンティティー
は
物理
の
agent
では
Depression
は
エンティティー
の
attribute
では は
エンティティー
の
time
の existence の
after
の
during
holds の 目的
(=>
(
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 11046-11058
物理
は
Antipsychotic
の
instance
では
物理
は
エンティティー
エンティティー
エンティティー
は
摂取
の
instance
では
objectTransferred
エンティティー
and
物理
エンティティー
は
物理
の
agent
では
Psychosis
は
エンティティー
の
attribute
では は
エンティティー
の
time
の existence の
after
の
during
holds の 目的
(=>
(
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
では
エンティティー
エンティティー
and
工程
エンティティー
は
Vaccine
の
instance
では
工程
は
置く
の
instance
では
工程
は
エンティティー
に
end
s
エンティティー
は
人[人間]
の
instance
では ステートメント
エンティティー
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
after
の
during
holds には
Likely
の
modal
force
が ある
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8634-8636
時間間隔
は
時間間隔
の
instance
では
equal
時間間隔
の
after
and
時間間隔
の
end
と
PositiveInfinity
の
interval
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8630-8632
時間間隔
は
時間間隔
の
instance
では
時間間隔
は
時間間隔
の
after
に
meet
s
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8648-8650
時間位置
は
時間間隔
の
instance
では
時間位置
の すぐ
after
は
時間位置
の
after
を
start
s
(=>
(
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 13752-13772
物理
は
AntiInflammatory
の
instance
では
物理
は
エンティティー
エンティティー
and
エンティティー
N
エンティティー
は
Inflammation
の
instance
では
エンティティー
が
エンティティー
を
experience
s
エンティティー
N は
摂取
の
instance
では
エンティティー
の
time
の existence の
beginning
は
エンティティー
N の
time
の existence の
beginning
の
before
に happens
エンティティー
2
エンティティー
2 は
Inflammation
の
instance
では
エンティティー
が
エンティティー
2 を
experience
s は
エンティティー
の
time
の existence の
after
の
during
holds の 目的
(=>
(
instance
?X
SuicideBombing
)
(
exists
(?A)
(
and
(
agent
?X ?A)
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?A
Dead
)))))
Mid-level-ontology.kif 23744-23752
工程
は
SuicideBombing
の
instance
では
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では
Dead
は
AutonomousAgent
の
attribute
では は
工程
の
time
の existence の
after
の
during
holds
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2503-2506
Serbia
は
EuropeanNation
の
instance
では
時間位置
は 5
day
目 の
instance
では は
時間位置
の
after
の
during
holds
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2498-2501
Serbia
は
IndependentState
の
instance
では
時間位置
は 5
day
目 の
instance
では は
時間位置
の
after
の
during
holds
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2508-2511
Serbia
は "Republic of Serbia" の &ames$"name" を 持って
時間位置
は 5
day
目 の
instance
では は
時間位置
の
after
の
during
holds
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2530-2533
時間位置
は 3
day
目 の
instance
では
Montenegro
は
EuropeanNation
の
instance
では は
時間位置
の
after
の
during
holds
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2525-2528
時間位置
は 3
day
目 の
instance
では
Montenegro
は
IndependentState
の
instance
では は
時間位置
の
after
の
during
holds
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2535-2538
時間位置
は 3
day
目 の
instance
では
Montenegro
は "Montenegro" の &ames$"name" を 持って は
時間位置
の
after
の
during
holds
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2548-2552
時間位置
は 3
day
目 の
instance
では
SerbiaAndMontenegro
は
IndependentState
の
instance
では は
時間位置
の
after
の
during
holds
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