Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 8416-8417
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8413-8413
The number 1 argument of
future
is an
instance
of
time position
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8410-8410
Future
is an
instance
of
temporal relation
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8412-8412
Future
is an
instance
of
total valued relation
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8411-8411
Future
is an
instance
of
unary function
(
range
FutureFn
TimeInterval
)
Merge.kif 8414-8414
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
(
termFormat
ChineseLanguage
FutureFn
"未来")
domainEnglishFormat.kif 25299-25299
(
termFormat
ChineseLanguage
FutureFn
"未来函数")
chinese_format.kif 462-462
(
termFormat
ChineseTraditionalLanguage
FutureFn
"未來")
domainEnglishFormat.kif 25298-25298
(
termFormat
EnglishLanguage
FutureFn
"future")
domainEnglishFormat.kif 25297-25297
consequent
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 13521-13524
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
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM)
(
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 10130-10145
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 exists
an 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
another 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
?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
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
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the third real number
the unit of measure
(s)
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?PATIENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Living
))
(
holdsDuring
(
FutureFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Dead
))))
Merge.kif 12075-12081
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 8227-8238
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
blind
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 13011-13016
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
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
ReachingAgreement
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 466-481
If
a financial transaction
is an
instance
of
withdrawal
and
an object
is an
instance
of
financial account
and
the financial transaction
originate
s at
the object
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the object
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the object
current
account balance immediately
after
after
the financial transaction
for
the third real number
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 21568-21576
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
(=>
(
independenceDate
?COUNTRY1 ?DATE)
(
holdsDuring
(
FutureFn
?DATE)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 534-539
If
a kind of time interval
is an
independence
date of
a geopolitical area
,
then there doesn't exist
an entity
such that
the geopolitical area
is a
dependent
of
the entity
holds
during
after
a kind of time interval
(=>
(
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 9265-9277
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 9285-9297
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)
(
and
(
instance
?VACCINE
Vaccine
)
(=>
(
and
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
)))))
WMD.kif 1037-1053
If
an entity
is an
instance
of
vaccinatable disease
,
then there exists
another entity
such that
the other entity
is an
instance
of
vaccine
and
if
a process
is an
instance
of
putting
and
the process
end
s up at
a third entity
and
the third entity
is an
instance
of
human
,
then 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 8423-8425
If
a time interval
is an
instance
of
time interval
,
then
after
the time interval
is
equal
to
interval
between the
end
of
the time interval
and
positive infinity
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8419-8421
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 8437-8439
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 11898-11918
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 21558-21566
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
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
)))
Media.kif 2537-2538
Serbia and montenegro
is not an
instance
of
independent state
holds
during
after
the
day
3
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2492-2495
Serbia
is an
instance
of
european nation
and
a time position
is an
instance
of the
day
5 holds
during
after
the time position
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2487-2490
Serbia
is an
instance
of
independent state
and
a time position
is an
instance
of the
day
5 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 2497-2500
Serbia
has
name
"Republic of Serbia" and
a time position
is an
instance
of the
day
5 holds
during
after
the time position
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2519-2522
A time position
is an
instance
of the
day
3 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 2514-2517
A time position
is an
instance
of the
day
3 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 2524-2527
A time position
is an
instance
of the
day
3 and
Montenegro
has
name
"Montenegro" 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
