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 8451-8452
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8448-8448
The number 1 argument of
future
is an
instance
of
time position
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8445-8445
Future
is an
instance
of
temporal relation
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8447-8447
Future
is an
instance
of
total valued relation
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8446-8446
Future
is an
instance
of
unary function
(
range
FutureFn
TimeInterval
)
Merge.kif 8449-8449
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 25298-25298
(
termFormat
ChineseLanguage
FutureFn
"未来函数")
chinese_format.kif 462-462
(
termFormat
ChineseTraditionalLanguage
FutureFn
"未來")
domainEnglishFormat.kif 25297-25297
(
termFormat
EnglishLanguage
FutureFn
"future")
domainEnglishFormat.kif 25296-25296
consequent
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 13901-13904
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 546-553
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 10178-10193
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
?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 12167-12173
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 8583-8594
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 13119-13124
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
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 466-481
If
a financial transaction
is an
instance
of
withdrawal
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
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
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22059-22067
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 9625-9637
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 9645-9657
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 8458-8460
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 8454-8456
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 8472-8474
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 12268-12288
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 22049-22057
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 2501-2504
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 2496-2499
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 2506-2509
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 2528-2531
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 2523-2526
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 2533-2536
A time position
is an
instance
of the
day
3 and
Montenegro
has
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 2546-2550
A time position
is an
instance
of the
day
3 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
