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
ImmediateFutureFn
Sigma KEE - ImmediateFutureFn
ImmediateFutureFn
appearance as argument number 1
(
documentation
ImmediateFutureFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧随这个
TimePosition
的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2745-2746
(
documentation
ImmediateFutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately follows the
TimePosition
.")
Merge.kif 8531-8533
(
documentation
ImmediateFutureFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を、
TimePosition
の直後に続く短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1471-1472
(
domain
ImmediateFutureFn
1
TimePosition
)
Merge.kif 8528-8528
O argumento numero 1 de
ImmediateFutureFn
e' uma
instancia
de
Posicao Temporal
(
instance
ImmediateFutureFn
TemporalRelation
)
Merge.kif 8525-8525
ImmediateFutureFn
e' uma
instancia
de
Relacao Temporal
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8527-8527
ImmediateFutureFn
e' uma
instancia
de
Relacao Total
(
instance
ImmediateFutureFn
UnaryFunction
)
Merge.kif 8526-8526
ImmediateFutureFn
e' uma
instancia
de
funcao Unaria
(
range
ImmediateFutureFn
TimeInterval
)
Merge.kif 8529-8529
O
contra
-dominio de
ImmediateFutureFn
e' uma instancia de
Intervalo Temporal
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFutureFn
"紧接 %1 after")
chinese_format.kif 463-463
(
format
EnglishLanguage
ImmediateFutureFn
"immediately after %1")
english_format.kif 469-469
(
format
FrenchLanguage
ImmediateFutureFn
"immediatement apr�s %1")
french_format.kif 268-268
(
format
ItalianLanguage
ImmediateFutureFn
"immediatamente dopo %1")
relations-it.txt 137-137
(
format
JapaneseLanguage
ImmediateFutureFn
"%1 の すぐ after")
japanese_format.kif 2058-2058
(
format
PortugueseLanguage
ImmediateFutureFn
"imediatemente apos %1")
portuguese_format.kif 220-220
(
format
cz
ImmediateFutureFn
"pr�v� po %1'")
relations-cz.txt 274-274
(
format
de
ImmediateFutureFn
"sofort nach %1")
relations-de.txt 605-605
(
format
hi
ImmediateFutureFn
"%1 ke tatkaala baada")
relations-hindi.txt 176-176
(
format
ro
ImmediateFutureFn
"imediat after%t{dupã} %1")
relations-ro.kif 289-289
(
format
sv
ImmediateFutureFn
"omedelbart efter %1")
relations-sv.txt 295-295
(
format
tg
ImmediateFutureFn
"pagkatopos ng agad sa %1")
relations-tg.txt 278-278
(
termFormat
ChineseLanguage
ImmediateFutureFn
"眼前的未来")
domainEnglishFormat.kif 29349-29349
(
termFormat
ChineseLanguage
ImmediateFutureFn
"紧接未来函数")
chinese_format.kif 464-464
(
termFormat
ChineseTraditionalLanguage
ImmediateFutureFn
"眼前的未來")
domainEnglishFormat.kif 29348-29348
(
termFormat
EnglishLanguage
ImmediateFutureFn
"immediate future")
domainEnglishFormat.kif 29347-29347
(
termFormat
tg
ImmediateFutureFn
"tungkulin ng pagkatopos ng agad")
relations-tg.txt 279-279
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
Booting
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
HostReady
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
2
Fisico
2 e'
igual
a imediatemente
apos
tempo
de existencia de
Fisico
Componente de Engenharia
e' uma
instancia
de
ComputerDisplay
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
o argumento
Entidade
Entidade
e' uma
instancia
de
HomeScreen
displayedUpon
Entidade
and
Componente de Engenharia
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Objeto
e' uma
instancia
de
Antacid
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Objeto
e' uma
instancia
de
ProtonPumpInhibitor
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
e' uma
instancia
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
ComputerProcess
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
ComputerProcess
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Processo
e' uma
instancia
de
Deposition
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processo
e' uma
instancia
de
Movimento
Processo
e' uma
instancia
de
Tremor
Objeto
e' uma
instancia
de
Damper
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
causa
Processo
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processo
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Processo
ImpairedBodyPartFn
Brain
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
o argumento
Concussion
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Objeto
e' uma
instancia
de
Lever
Processo
e' uma
instancia
de
Pushing
Fisico
e' uma
instancia
de
Movimento
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Processo
termina
em
Objeto
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
situado
em
Processo
1
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
2
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
3
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
4
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
a
distancia
entre
Processo
1 e
Processo
2 e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Processo
3 e
Processo
4 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
Processo
e' uma
instancia
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
Intervalo Temporal
e'
igual
a imediatemente
apos
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
WebSite
e' um
patient
de
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
Processo
e' uma
instancia
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
Intervalo Temporal
e'
igual
a imediatemente
apos
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
Computer
e' um
instrumento
para
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10555-10570
Processo
e' uma
instancia
de
MuscleRelaxing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10533-10548
Processo
e' uma
instancia
de
MuscularContraction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
Entidade
e' uma
instancia
de
Objeto auto-conectado
Processo
e' uma
instancia
de
Compressing
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
UnitOfVolume
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Processo
e' uma
instancia
de
Sublimation
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
consequent
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
agreementRevisionDate
Proposicao
,
Posicao Temporal
and
Proposicao
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo
Formula
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
tem o
direito
de executar
Formula
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
Processo
e' uma
instancia
de
Appointing
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
nao ocupa %n a
posicao
de
Entidade
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
ocupa a
posicao
de
Entidade
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
Processo
e' uma
instancia
de
ActivatingADeactivatedAccount
Entidade
e' uma
instancia
de
UserAccount
Entidade
e' um
patient
de
Processo
AccountDeactivated
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AccountActive
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
Processo
e' uma
instancia
de
Braking
Entidade
e' um
patient
de
Processo
Numero Real
MilesPerHour
(s) e'
igual
a
AccelerationFn
Entidade
,
Entidade
,
Entidade
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Numero Real
MilesPerHour
(s) e'
igual
a
AccelerationFn
Entidade
,
Entidade
,
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
FinancialAccount
e' uma
instancia
de
SecuredBond
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
possui
FinancialAccount
Processo
e' uma
instancia
de
FinancialDefault
FinancialAccount
e' um
patient
de
Processo
AutonomousAgent
possui
Collateral
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
Processo
e' uma
instancia
de
Cobrir
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
covers
Objeto
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processo
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entidade
e' uma
instancia
de
COVIDAntibody
Covid19
e' um
atributo
de
Entidade
Entidade
e' uma &parte de
Entidade
vale
durante
Posicao Temporal
o argumento
Covid19
e' um
atributo
de
Entidade
tem a
forca
modal
de
Unlikely
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
Processo
e' uma
instancia
de
ChangingAccountInfo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
Proposicao
Entidade
Entidade
e'
igual
a
Proposicao
accountInformation
UserAccount
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
Processo
e' uma
instancia
de
ChangingPassword
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
Entidade
Entidade
e' uma
instancia
de
ComputerPassword
Entidade
e'
igual
a
ComputerPassword
password
Entidade
and
UserAccount
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
Processo
e' uma
instancia
de
ChangingUserName
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
Entidade
Entidade
e' uma
instancia
de
UserName
Entidade
e'
igual
a
UserName
userName
UserAccount
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
Processo
e' uma
instancia
de
CreatingAnAccount
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
and
Entidade
hasAccount
AutonomousAgent
and
Entidade
password
Entidade
and
Entidade
userName
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Closing
ClosingAnAccount
)
(
patient
?Closing ?Account))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Closing))
(
instance
?Account
FinancialAccount
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Closing))
(
not
(
instance
?Account
FinancialAccount
)))))
FinancialOntology.kif 391-401
Processo
e' uma
instancia
de
ClosingAnAccount
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FinancialAccount
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
FinancialAccount
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processo
e' uma
instancia
de
DeletingAnAccount
Entidade
e' uma
instancia
de
Account
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 30079-30087
Processo
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Aparelho
Entidade
e' um
patient
de
Processo
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DEACT
DeactivatingAnAccount
)
(
instance
?AC
UserAccount
)
(
patient
?DEACT ?AC))
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4498-4507
Processo
e' uma
instancia
de
DeactivatingAnAccount
Entidade
e' uma
instancia
de
UserAccount
Entidade
e' um
patient
de
Processo
AccountDeactivated
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
AccountActive
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
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
?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
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
MilitaryOrganization
AutonomousAgent
experimenta
Processo
Evacuee
e' um
atributo
de
AutonomousAgent
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
Objeto
e' uma
instancia
de
Faucet
Processo
e' uma
instancia
de
LiquidMotion
Entidade
e' um
patient
de
Processo
Processo
e'
situado
em
Objeto
Entidade
Entidade
e' uma
instancia
de
Tube
Entidade
contem
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
Processo
e' uma
instancia
de
Forgetting
AutonomousAgent
experimenta
Processo
Entidade
AutonomousAgent
nao
sabe
%n
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
AutonomousAgent
sabe
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
e' uma
instancia
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
TelecomNumber
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Communicacao
TelecomNumber
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
e'
igual
a o
comeco
de imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processo
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Processo
ImpairedBodyPartFn
Brain
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
o argumento
Concussion
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
tem a
forca
modal
de
Likely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
Posicao Temporal
e' uma
instancia
de o
dia
1
conventionalLongName
"Andean Community of Nations" and
AndeanCommunityOfNations
vale
durante imediatemente
apos
Posicao Temporal
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
Posicao Temporal
e' uma
instancia
de o
ano
1996
conventionalLongName
"Agency for the French-Speaking Community" and
AgencyForTheFrenchSpeakingCommunity
vale
durante imediatemente
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