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
O argumento numero 1 de
FutureFn
e' uma
instancia
de
Posicao Temporal
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8508-8508
FutureFn
e' uma
instancia
de
Relacao Temporal
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8510-8510
FutureFn
e' uma
instancia
de
Relacao Total
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8509-8509
FutureFn
e' uma
instancia
de
funcao Unaria
(
range
FutureFn
TimeInterval
)
Merge.kif 8512-8512
O
contra
-dominio de
FutureFn
e' uma instancia de
Intervalo Temporal
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
Ponto no tempo
Agreement
tem um
atributo
de
ActiveAgreement
vale
durante
apos
Ponto no tempo
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
independenceDate
Area Geopolitica
and
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
dependentGeopoliticalArea
Area Geopolitica
and
Entidade
vale
durante
apos
Posicao Temporal
(=>
(
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
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Organismo
AutonomousAgent
experimenta
Processo
Entidade
Entidade
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto Organico
Dead
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
Deciding
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Conjunto
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
Entidade
Entidade
e' um
elemento
de
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
AutonomousAgent
vale
durante
apos
tempo
de existencia de
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
Transacao Financeira
e' uma
instancia
de
Deposit
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(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
Transferencia
e' uma
instancia
de
Injecting
Objeto
e' uma
instancia
de
Adalimumab
objectTransferred
Transferencia
and
Objeto
Transferencia
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Transferencia
termina
em
Entidade
o argumento
Entidade
PainFn
Objeto
e' um
atributo
de
Entidade
vale
durante
Entidade
Entidade
acontece
durante
apos
tempo
de existencia de
Transferencia
tem a
forca
modal
de
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
e' uma
instancia
de
Matar
Entidade
e' um
patient
de
Processo
Living
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Dead
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
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
Objeto
e' uma
instancia
de
Poison
Movimento
e' uma
instancia
de
Ingerir
moves
Movimento
and
Objeto
AutonomousAgent
experimenta
Movimento
o argumento
Blind
e' um
atributo
de
AutonomousAgent
vale
durante
apos
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13257-13262
Processo
e' uma
instancia
de
Naming
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
se chama
nome
Entidade
vale
durante
apos
tempo
de existencia de
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
e' uma
instancia
de
ReachingAgreement
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Agreement
partyToAgreement
AutonomousAgent
and
Entidade
vale
durante
apos
tempo
de existencia de
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
Transacao Financeira
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22111-22119
Processo
e' uma
instancia
de
SuicideBombing
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
acredita
que
Dead
e' um
atributo
de
Agente Cognitivo
vale
durante
apos
tempo
de existencia de
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
Fisico
e' uma
instancia
de
Antidepressant
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Fisico
e' um
agente
de
Entidade
Depression
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Antipsychotic
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Fisico
e' um
agente
de
Entidade
Psychosis
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
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
Entidade
e' uma
instancia
de
VaccinatableDisease
Entidade
Entidade
and
Processo
Entidade
e' uma
instancia
de
Vaccine
Processo
e' uma
instancia
de
Colocar
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Humano
o argumento
Entidade
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
apos
Intervalo Temporal
e'
igual
a o
intervalo
entre o
fim
de
Intervalo Temporal
e
PositiveInfinity
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
apos
Intervalo Temporal
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
imediatemente
apos
Posicao Temporal
comeca
em
apos
Posicao Temporal
(=>
(
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
Fisico
e' uma
instancia
de
AntiInflammatory
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
N
Entidade
e' uma
instancia
de
Inflammation
Entidade
experimenta
Entidade
Entidade
N e' uma
instancia
de
Ingerir
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
N
Entidade
2
Entidade
2 e' uma
instancia
de
Inflammation
Entidade
experimenta
Entidade
2
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
instance
?X
SuicideBombing
)
(
exists
(?A)
(
and
(
agent
?X ?A)
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?A
Dead
)))))
Mid-level-ontology.kif 22101-22109
Processo
e' uma
instancia
de
SuicideBombing
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Dead
e' um
atributo
de
AutonomousAgent
vale
durante
apos
tempo
de existencia de
Processo
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2501-2504
Serbia
e' uma
instancia
de
EuropeanNation
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2496-2499
Serbia
e' uma
instancia
de
IndependentState
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
se chama
nome
"Republic of Serbia"
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
EuropeanNation
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
se chama
nome
"Montenegro"
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
Posicao Temporal
e' uma
instancia
de o
dia
3
SerbiaAndMontenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
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