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 8514-8515
(
documentation
FutureFn
JapaneseLanguage
"
UnaryFunction
は、
PositiveInfinity
で満たして 終了する
TimePosition
をマップする。")
japanese_format.kif 1469-1470
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8511-8511
Il numero 1 argomenti di
FutureFn
è un
istanza
di
PosizioneTemporale
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8508-8508
FutureFn
è un'
istanza
di
RelazioneTemporale
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8510-8510
FutureFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8509-8509
FutureFn
è un'
istanza
di
FunzioneUnaria
(
range
FutureFn
TimeInterval
)
Merge.kif 8512-8512
rango
di
FutureFn
è un'istanza di
IntervalloTemporale
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 14055-14058
agreementExpirationDate
Agreement
and
PuntoTemporale
Agreement
ha un
attributo
ActiveAgreement
vales
durante
dopo
PuntoTemporale
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
independenceDate
AreaGeopolitica
and
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
dependentGeopoliticalArea
AreaGeopolitica
and
Entit�
vales
durante
dopo
PosizioneTemporale
(=>
(
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 10222-10237
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Organismo
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Entit�Organica
attribute
Entit�
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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 12046-12062
Processo
è un'
istanza
di
Deciding
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Insieme
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
Entit�
%è un
elemento
di %2
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
agente
di
AutonomousAgent
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
Trasferimento
è un'
istanza
di
Injecting
Oggetto
è un'
istanza
di
Adalimumab
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Trasferimento
fine
s in
Entit�
l'affermazione
Entit�
attribute
Entit�
and
PainFn
Oggetto
vales
durante
Entit�
Entit�
has luogo
durante
dopo
il
tempo
di esistenza di
Trasferimento
ha il modello di forza di
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 12305-12311
Processo
è un'
istanza
di
Uccidere
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Living
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
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 8624-8635
Oggetto
è un'
istanza
di
Poison
Movimento
è un'
istanza
di
Ingestione
moves
Movimento
and
Oggetto
AutonomousAgent
esperisce
s
Movimento
l'affermazione
attribute
AutonomousAgent
and
Blind
vales
durante
dopo
il
tempo
di esistenza di
Movimento
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13257-13262
Processo
è un'
istanza
di
Naming
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
names
Entit�
and
Entit�
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
Processo
è un'
istanza
di
ReachingAgreement
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Agreement
partyToAgreement
AutonomousAgent
and
Entit�
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
ScambioFinanziario
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22111-22119
Processo
è un'
istanza
di
SuicideBombing
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
AgenteCognitivo
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
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 9697-9709
Entit�Concreta
è un'
istanza
di
Antidepressant
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�Concreta
è un
agente
di
Entit�
attribute
Entit�
and
Depression
vales
durante
dopo
il
tempo
di esistenza di
Entit�
(=>
(
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 9717-9729
Entit�Concreta
è un'
istanza
di
Antipsychotic
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�Concreta
è un
agente
di
Entit�
attribute
Entit�
and
Psychosis
vales
durante
dopo
il
tempo
di esistenza di
Entit�
(=>
(
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
Entit�
è un'
istanza
di
VaccinatableDisease
Entit�
Entit�
and
Processo
Entit�
è un'
istanza
di
Vaccine
Processo
è un'
istanza
di
Porre
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
l'affermazione
attribute
Entit�
and
Entit�
vales
durante
dopo
il
tempo
di esistenza di
Processo
ha il modello di forza di
Likely
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
dopo
IntervalloTemporale
is
uguale
a
intervallo
tra la
fine
di
IntervalloTemporale
e
PositiveInfinity
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
incontra
s
dopo
IntervalloTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
immediatamente
dopo
PosizioneTemporale
inizia
s
dopo
PosizioneTemporale
(=>
(
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 12421-12441
Entit�Concreta
è un'
istanza
di
AntiInflammatory
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
N
Entit�
è un'
istanza
di
Inflammation
Entit�
esperisce
s
Entit�
Entit�
N è un'
istanza
di
Ingestione
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
N
Entit�
2
Entit�
2 è un'
istanza
di
Inflammation
Entit�
esperisce
s
Entit�
2 vales
durante
dopo
il
tempo
di esistenza di
Entit�
(=>
(
instance
?X
SuicideBombing
)
(
exists
(?A)
(
and
(
agent
?X ?A)
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?A
Dead
)))))
Mid-level-ontology.kif 22101-22109
Processo
è un'
istanza
di
SuicideBombing
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2501-2504
Serbia
è un'
istanza
di
EuropeanNation
PosizioneTemporale
è un'
istanza
di il
giorno
5 vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2496-2499
Serbia
è un'
istanza
di
IndependentState
PosizioneTemporale
è un'
istanza
di il
giorno
5 vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
names
"Republic of Serbia" and
Serbia
PosizioneTemporale
è un'
istanza
di il
giorno
5 vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
PosizioneTemporale
è un'
istanza
di il
giorno
3
Montenegro
è un'
istanza
di
EuropeanNation
vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
PosizioneTemporale
è un'
istanza
di il
giorno
3
Montenegro
è un'
istanza
di
IndependentState
vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
PosizioneTemporale
è un'
istanza
di il
giorno
3
names
"Montenegro" and
Montenegro
vales
durante
dopo
PosizioneTemporale
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
PosizioneTemporale
è un'
istanza
di il
giorno
3
SerbiaAndMontenegro
è un'
istanza
di
IndependentState
vales
durante
dopo
PosizioneTemporale
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