earlier
(=>
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?OBJ))
(
exists
(?IMPEL)
(
and
(
instance
?IMPEL
Impelling
)
(
patient
?IMPEL ?OBJ)
(
earlier
(
WhenFn
?IMPEL)
(
WhenFn
?IMPACT)))))
Merge.kif 11539-11547
Processo
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Propulsionar
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 23513-23526
Confinar
e' uma
instancia
de
Imprisoning
detainee
Confinar
and
Animal
Animal
e' uma
instancia
de
Humano
Confinar
existe
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
PlacingUnderArrest
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
PlacingUnderArrest
existe
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
PlacingUnderArrest
e' uma
instancia
de
PlacingUnderArrest
arrested
PlacingUnderArrest
and
Animal
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
Processo
e' uma
instancia
de
Inheriting
Processo
e' um
agente
de
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
possui
Entidade
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
WebSite
e' uma
instancia
de
WebSite
Colecao
Colecao
e' uma
instancia
de
Colecao
AutonomousAgent
AutonomousAgent
e'
membro
de
Colecao
Intervalo Temporal
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Comprar
Intervalo Temporal
e' um
agente
de
AutonomousAgent
WebSite
e' um
instrumento
para
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
_BEFORE acontence
antes
de
Intervalo Temporal
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE e' uma
instancia
de
Comprar
Intervalo Temporal
_BEFORE e' um
agente
de
AutonomousAgent
WebSite
e' um
instrumento
para
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE acontece
durante
Intervalo Temporal
vale
durante
Intervalo Temporal
_BEFORE
SiteWideNewBuyersFn
Intervalo Temporal
and
WebSite
e'
igual
a
Colecao
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
WebSite
e' uma
instancia
de
WebSite
Colecao
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e' uma
instancia
de
Humano
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
_BEFORE acontence
antes
de
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
_BEFORE
Intervalo Temporal
_DURING
Intervalo Temporal
_DURING e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
_DURING acontece
durante
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
Fisico
e'
membro
de
Colecao
Colecao
e'
igual
a
SiteWideNewRegistrationsFn
Intervalo Temporal
and
WebSite
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
WebSite
e' uma
instancia
de
WebSite
Colecao
Colecao
e' uma
instancia
de
Colecao
AutonomousAgent
AutonomousAgent
e'
membro
de
Colecao
Intervalo Temporal
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Vender
Intervalo Temporal
e' um
agente
de
AutonomousAgent
WebSite
e' um
instrumento
para
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
_BEFORE acontence
antes
de
Intervalo Temporal
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE e' uma
instancia
de
Vender
Intervalo Temporal
_BEFORE e' um
agente
de
AutonomousAgent
WebSite
e' um
instrumento
para
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE acontece
durante
Intervalo Temporal
vale
durante
Intervalo Temporal
_BEFORE
SiteWideNewSellersFn
Intervalo Temporal
and
WebSite
e'
igual
a
Colecao
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
Objeto
e' uma
instancia
de
InvasiveVentilator
Processo
e' uma
instancia
de
Respirar
AutonomousAgent
experimenta
Processo
Objeto
e' um
instrumento
para
Processo
Processo
Processo
e' uma
instancia
de
Intubation
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10631-10643
Processo
e' uma
instancia
de
Empregar
Agente Cognitivo
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
expects
Agente Cognitivo
and
Entidade
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?KEEP
Keeping
)
(
agent
?KEEP ?AGENT)
(
patient
?KEEP ?OBJ))
(
exists
(?PUT)
(
and
(
instance
?PUT
Putting
)
(
agent
?PUT ?AGENT)
(
patient
?PUT ?OBJ)
(
earlier
(
WhenFn
?PUT)
(
WhenFn
?KEEP)))))
Merge.kif 12178-12188
Processo
e' uma
instancia
de
Manter
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Colocar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
Transferencia
e' uma
instancia
de
MoveToEvac
objectTransferred
Transferencia
and
Objeto
Transferencia
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Evacuation
objectTransferred
Entidade
and
Objeto
tempo
de existencia de
Transferencia
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
successorClass
?N1 ?N2))
(
earlier
?M1 ?M2))
Merge.kif 8715-8720
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
successorClass
Mes
and
Mes
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposicao
e' uma
instancia
de
Plano
Fisico
e' uma
instancia
de
Processo
Proposicao
define
Fisico
Proposicao
NING
ContentBearingPhysical
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING o
comeco
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
comeco
de
tempo
de existencia de
Fisico
o
fim
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?PREDICT
Predicting
)
(
patient
?PREDICT ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
earlier
?TIME
(
WhenFn
?PREDICT)))))
Merge.kif 12149-12156
Processo
e' uma
instancia
de
Prever
Formula
e' um
patient
de
Processo
Intervalo Temporal
Formula
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
exists
(?O ?A ?A1 ?A2)
(
and
(
instance
?O
Offering
)
(
instance
?A
ReachingAgreement
)
(
refers
?O ?AG)
(
refers
?A ?AG)
(
agent
?O ?A1)
(
agent
?A ?A2)
(
earlier
(
WhenFn
?O)
(
WhenFn
?A)))))
Law.kif 526-540
Processo
e' uma
instancia
de
Processo Intencional
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
Processo
Processo
,
Processo
1 and
Processo
2
Processo
e' uma
instancia
de
Offering
Processo
e' uma
instancia
de
ReachingAgreement
Processo
inclui uma
referencia
a
Agreement
Processo
inclui uma
referencia
a
Agreement
Processo
e' um
agente
de
Processo
1
Processo
e' um
agente
de
Processo
2
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PSR
PoststrikeReconnaissance
)
(
patient
?PSR ?OBJ))
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
patient
?ATTACK ?OBJ)
(
earlier
(
WhenFn
?ATTACK)
(
WhenFn
?PSR)))))
MilitaryProcesses.kif 121-129
Processo
e' uma
instancia
de
PoststrikeReconnaissance
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Attack
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
Fisico
e' uma
instancia
de
OrganismRemains
Entidade
e' uma &parte de
Fisico
vale
durante
tempo
de existencia de
Fisico
Fisico
Fisico
e' uma
instancia
de
Organismo
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
tempo
de existencia de
Fisico
termina
em
tempo
de existencia de
Fisico
Entidade
e' uma &parte de
Fisico
vale
durante
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?REMEMBER
Remembering
)
(
patient
?REMEMBER ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
or
(
before
?TIME
(
WhenFn
?REMEMBER))
(
earlier
?TIME
(
WhenFn
?REMEMBER))))))
Merge.kif 12163-12172
Processo
e' uma
instancia
de
Recordar
Formula
e' um
patient
de
Processo
Intervalo Temporal
Formula
vale
durante
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
tempo
de existencia de
Processo
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?REPAIR
Repairing
)
(
patient
?REPAIR ?OBJ))
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ)
(
earlier
(
WhenFn
?DAMAGE)
(
WhenFn
?REPAIR)))))
Merge.kif 12229-12237
Processo
e' uma
instancia
de
Consertar
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Causar Dano
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11763-11773
Processo
e' uma
instancia
de
GivingBack
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Dar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?RETURN
Returning
)
(
experiencer
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?TIME)
(
and
(
earlier
?TIME
(
WhenFn
?RETURN))
(
holdsDuring
?TIME
(
located
?AGENT ?DEST)))))
Mid-level-ontology.kif 17266-17274
Processo
e' uma
instancia
de
Returning
AutonomousAgent
experimenta
Processo
Processo
termina
em
Entidade
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
Processo
AutonomousAgent
e'
situado
em
Entidade
vale
durante
Intervalo Temporal
(=>
(
and
(
instance
?Reusing
ReusingAResource
)
(
resourceUsed
?Reusing ?Resource))
(
exists
(?Using)
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
earlier
(
WhenFn
?Using)
(
WhenFn
?Reusing)))))
QoSontology.kif 1981-1989
ComputerProcess
e' uma
instancia
de
ReusingAResource
resourceUsed
ComputerProcess
and
ComputerResource
ComputerProcess
ComputerProcess
e' uma
instancia
de
UsingAResource
resourceUsed
ComputerProcess
and
ComputerResource
tempo
de existencia de
ComputerProcess
acontence
antes
de
tempo
de existencia de
ComputerProcess
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
Processo
e' uma
instancia
de
Sentencing
Entidade
e' um
patient
de
Processo
Processo
Processo
causa
Processo
Processo
e' uma
instancia
de
LegalConviction
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SEO
SEO
)
(
patient
?SEO ?PAGE))
(
hasPurpose
?SEO
(
exists
(?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
(
and
(
instance
?SRPRESULT_BEFORE
SRPResults
)
(
instance
?SRPRESULT_AFTER
SRPResults
)
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_BEFORE ?BEFORE))
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_AFTER ?AFTER))
(
instance
?BM1
BestMatchAlgorithm
)
(
instance
?BM2
BestMatchAlgorithm
)
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?SEO)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?SEO))
(
greaterThan
?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
Processo
e' uma
instancia
de
SEO
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
_BEFORE
Entidade
_AFTER,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
_BEFORE e' uma
instancia
de
SRPResults
Entidade
_AFTER e' uma
instancia
de
SRPResults
Entidade
e'
igual
a
Entidade
th
elemento
de
Entidade
_BEFORE
Entidade
e'
igual
a
Entidade
th
elemento
de
Entidade
_AFTER
Entidade
e' uma
instancia
de
BestMatchAlgorithm
Entidade
e' uma
instancia
de
BestMatchAlgorithm
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Processo
Entidade
e'
maior
que
Entidade
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
e' uma
instancia
de
SoftwareUnInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
instance
?W
Whiskey
)
(
instance
?D
Distilling
)
(
result
?D ?W)
(
resource
?DR ?W)
(
instance
?DR
Drinking
))
(
exists
(?C ?T ?H)
(
and
(
instance
?C
Cask
)
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
holdsDuring
?T
(
partiallyFills
?W ?C))
(
earlier
?D ?T)
(
earlier
?T ?DR))))
Food.kif 3617-3632
Objeto
e' uma
instancia
de
Whiskey
Intervalo Temporal
e' uma
instancia
de
Distilling
Objeto
e' o
resultado
de
Intervalo Temporal
Objeto
e' um
recurso
para
Intervalo Temporal
R
Intervalo Temporal
R e' uma
instancia
de
Beber
Objeto auto-conectado
Intervalo Temporal
and
Buraco
Objeto auto-conectado
e' uma
instancia
de
Cask
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
completa
partialmente
Objeto auto-conectado
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
R
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