WhenFn
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Messaging
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Telex
Processo
Entidade
Objeto
e' um
instrumento
para
Processo
Entidade
e' o
resultado
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
Texto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
directed
Humano
and
Filme
Processo
e' uma
instancia
de
FilmMaking
AutonomousAgent
e' uma
instancia
de
Organizacao
leader
AutonomousAgent
and
Humano
Processo
e' um
agente
de
AutonomousAgent
Filme
e' o
resultado
de
Processo
FilmDirector
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
firstInstanceCreated
Fisico
and
Ponto no tempo
Fisico
e' uma
instancia
de
Fisico
Ponto no tempo
ocorre
antes ou durante o
comeco
de
tempo
de existencia de
Fisico
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
firstTimeBuyers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontece
durante
Intervalo Temporal
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
firstTimeBuyers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
firstTimeSellers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontece
durante
Intervalo Temporal
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
firstTimeSellers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
Estado Emocional
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
actionTendency
Estado Emocional
and
EmotionalBehavioralProcess
o argumento
Entidade
Entidade
e' uma
instancia
de
EmotionalBehavioralProcess
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
Entidade
experimenta
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
AVPUPainStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Pain
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
AVPUVerbalStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Speaking
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
o argumento
PostExertionalMalaise
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
2
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
2 tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
e' um
atributo
de
Entidade
Entidade
e' um
cidadao
de
Entidade
-NATION
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Objeto
Objeto
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
-NATION
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
-NATION
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
Evacuee
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
MilitaryOrganization
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
Entidade
and
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Wedding
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23710-23719
initialPart
Objeto
and
Objeto
Fisico
e' uma
instancia
de
Objeto
Entidade
Entidade
e' uma
instancia
de
Objeto
Fisico
e' uma &parte de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Fisico
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23737-23745
initiallyContainsPart
Objeto
and
Objeto
Fisico
e' uma
instancia
de
Objeto
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Fisico
vale
durante o
comeco
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
Processo
e' uma
instancia
de
Aborting
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Woman
Pregnant
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Pregnant
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17193-17203
Processo
e' uma
instancia
de
Accelerating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Decelerating
AutonomousAgent
experimenta
Processo
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
Processo
e' uma
instancia
de
Amputating
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Limb
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Osso
Objeto
e' uma &parte de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
Processo
e' uma
instancia
de
Anesthetizing
Entidade
e' um
patient
de
Processo
Inconsciente
e' um
atributo
de
Entidade
Pain
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
e' uma
instancia
de
Anesthetizing
Entidade
e' um
patient
de
Processo
Inconsciente
e' um
atributo
de
Entidade
Pain
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
Processo
e' uma
instancia
de
Apologizing
Processo
e' um
agente
de
Processo
G
Processo
termina
em
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT e' um
agente
de
Processo
G
Processo
G nao
quer
%n
Processo
CT
vale
durante
tempo
de existencia de
Processo
(=>
(
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
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processo
e' uma
instancia
de
Asphyxiation
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Respirar
Processo
experimenta
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Motionless
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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