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 8649-8650
(
documentation
FutureFn
JapaneseLanguage
"
UnaryFunction
は、
PositiveInfinity
で満たして 終了する
TimePosition
をマップする。")
japanese_format.kif 1469-1470
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8646-8646
The number 1 argument of
future
is an
instance
of
time position
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8643-8643
Future
is an
instance
of
temporal relation
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8645-8645
Future
is an
instance
of
total valued relation
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8644-8644
Future
is an
instance
of
unary function
(
range
FutureFn
TimeInterval
)
Merge.kif 8647-8647
The
range
of
future
is an instance of
time interval
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 25314-25314
(
termFormat
ChineseLanguage
FutureFn
"未来函数")
chinese_format.kif 462-462
(
termFormat
ChineseTraditionalLanguage
FutureFn
"未來")
domainEnglishFormat.kif 25313-25313
(
termFormat
EnglishLanguage
FutureFn
"future")
domainEnglishFormat.kif 25312-25312
(
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 15416-15419
If
an agreement
has
expiration
a time point
,
then
the agreement
does not have the
attribute
active agreement
holds
during
after
the time point
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 510-517
If
a kind of time interval
is an
independence
date of
a geopolitical area
and
a time position
is an
instance
of
a kind of time interval
,
then there doesn't exist
an entity
such that
the geopolitical area
is a
dependent
of
the entity
holds
during
after
the time position
(=>
(
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 10384-10399
If
a process
is an
instance
of
death
and
an agent
is an
instance
of
organism
and
the agent
experience
s
the process
,
then there exist
an entity
and
another entity
such that
the entity
is a
result
of
the process
and
the entity
is an
instance
of
organic object
and
dead
is an
attribute
of
the entity
holds
during
after
the
time
of existence of
the process
and
if
the other entity
is a
part
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
,
then
the other entity
is a
part
of
the agent
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
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 12218-12234
If
a process
is an
instance
of
deciding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
set
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing physical
,
then
the content bearing physical
contains the formula there exists
another entity
such that
the other entity
is an
element
of
the entity
and
the other entity
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
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
If
a financial transaction
is an
instance
of
deposit
and
a financial account
is an
instance
of
financial account
and
the financial transaction
end
s up at the
currency
of
the financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
equal
an integer
and (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the integer
the unit of measure
(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
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?PATIENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Living
))
(
holdsDuring
(
FutureFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Dead
))))
Merge.kif 12477-12483
If
a process
is an
instance
of
killing
and
an entity
is a
patient
of
the process
,
then
living
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
dead
is an
attribute
of
the entity
holds
during
after
the
time
of existence of
the process
(=>
(
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 9825-9836
If
an object
is an
instance
of
poison
and
a motion
is an
instance
of
ingesting
and
the object
moves during
the motion
and
an agent
experience
s
the motion
,
then the statement
blindness
is an
attribute
of
the agent
holds
during
after
the
time
of existence of
the motion
has the
modal
force
of
possibility
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13433-13438
If
a process
is an
instance
of
naming
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the entity
has &ames$"name"
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
If
a process
is an
instance
of
reaching agreement
and
an agent
is an
agent
of
the process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
agreement
,
then
the entity
is a
party
to agreement of
the agent
holds
during
after
the
time
of existence of
the process
(=>
(
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
If
a financial transaction
is an
instance
of
withdrawing from an account
and
a financial account
is an
instance
of
financial account
and
the financial transaction
originate
s at
the financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
equal
an integer
and (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the integer
the unit of measure
(s)
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 23745-23753
If
a process
is an
instance
of
suicide bombing
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
believe
s
dead
is an
attribute
of
the cognitive agent
holds
during
after
the
time
of existence of
the process
(=>
(
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 11020-11032
If
a physical
is an
instance
of
anti-depressant
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ingesting
and the object transferred in
the entity
is
the physical
and
the other entity
is an
agent
of
the physical
and
depressed
is not an
attribute
of
the other entity
holds
during
after
the
time
of existence of
the entity
(=>
(
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 11040-11052
If
a physical
is an
instance
of
anti-psychotic
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ingesting
and the object transferred in
the entity
is
the physical
and
the other entity
is an
agent
of
the physical
and
psychosis
is not an
attribute
of
the other entity
holds
during
after
the
time
of existence of
the entity
(=>
(
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
If
an entity
is an
instance
of
vaccinatable disease
,
then there exist
another entity
,
a third entity
and
a process
such that
the other entity
is an
instance
of
vaccine
and
the process
is an
instance
of
putting
and
the process
end
s up at
the third entity
and
the third entity
is an
instance
of
human
and the statement
the entity
is not an
attribute
of
the third entity
holds
during
after
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8656-8658
If
a time interval
is an
instance
of
time interval
,
then
equal
after
the time interval
and
interval
between the
end
of
the time interval
and
positive infinity
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8652-8654
If
a time interval
is an
instance
of
time interval
,
then
the time interval
meet
s
after
the time interval
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8670-8672
If
a time position
is an
instance
of
time interval
,
then immediately
after
the time position
start
s
after
the time position
(=>
(
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 13746-13766
If
a physical
is an
instance
of
anti-inflammatory
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
the entity
N such that
the entity
is an
instance
of
inflammation
and
the entity
experience
s
the other entity
and
the entity
N is an
instance
of
ingesting
and the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the entity
N and there doesn't exist
the entity
2 such that
the entity
2 is an
instance
of
inflammation
and
the other entity
experience
s
the entity
2 holds
during
after
the
time
of existence of
the entity
(=>
(
instance
?X
SuicideBombing
)
(
exists
(?A)
(
and
(
agent
?X ?A)
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?A
Dead
)))))
Mid-level-ontology.kif 23735-23743
If
a process
is an
instance
of
suicide bombing
,
then there exists
an agent
such that
the agent
is an
agent
of
the process
and
dead
is an
attribute
of
the agent
holds
during
after
the
time
of existence of
the process
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2503-2506
Serbia
is an
instance
of
european nation
and
a time position
is an
instance
of the
day
5 of month the
month
June
holds
during
after
the time position
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2498-2501
Serbia
is an
instance
of
independent state
and
a time position
is an
instance
of the
day
5 of month the
month
June
holds
during
after
the time position
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2508-2511
Serbia
has &ames$"name" "Republic of Serbia" and
a time position
is an
instance
of the
day
5 of month the
month
June
holds
during
after
the time position
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2530-2533
A time position
is an
instance
of the
day
3 of month the
month
June
and
Montenegro
is an
instance
of
european nation
holds
during
after
the time position
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2525-2528
A time position
is an
instance
of the
day
3 of month the
month
June
and
Montenegro
is an
instance
of
independent state
holds
during
after
the time position
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2535-2538
A time position
is an
instance
of the
day
3 of month the
month
June
and
Montenegro
has &ames$"name" "Montenegro" holds
during
after
the time position
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2548-2552
A time position
is an
instance
of the
day
3 of month the
month
June
and
serbia and montenegro
is not an
instance
of
independent state
holds
during
after
the time position
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
