earlier
(=>
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?OBJ))
(
exists
(?IMPEL)
(
and
(
instance
?IMPEL
Impelling
)
(
patient
?IMPEL ?OBJ)
(
earlier
(
WhenFn
?IMPEL)
(
WhenFn
?IMPACT)))))
Merge.kif 11561-11569
Processo
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Spinta
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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 23512-23525
Imprigionare
è un'
istanza
di
Imprisoning
detainee
Imprigionare
and
Animale
Animale
è un'
istanza
di
Umano
Imprigionare
esistes
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
PlacingUnderArrest
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
PlacingUnderArrest
esistes
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
PlacingUnderArrest
è un'
istanza
di
PlacingUnderArrest
arrested
PlacingUnderArrest
and
Animale
(=>
(
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 18620-18638
Processo
è un'
istanza
di
Inheriting
Processo
è un
agente
di
AgenteCognitivo
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
possiede
es
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
possiede
es
Entit�
(=>
(
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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
IntervalloTemporale
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Acquistare
IntervalloTemporale
è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
Acquistare
IntervalloTemporale
_BEFORE è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE has luogo
durante
IntervalloTemporale
vales
durante
IntervalloTemporale
_BEFORE
SiteWideNewBuyersFn
IntervalloTemporale
and
WebSite
is
uguale
a
InsiemeConcreto
(=>
(
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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Umano
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
_BEFORE
IntervalloTemporale
_DURING
IntervalloTemporale
_DURING è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_DURING has luogo
durante
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
SiteWideNewRegistrationsFn
IntervalloTemporale
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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
IntervalloTemporale
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Vendere
IntervalloTemporale
è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
Vendere
IntervalloTemporale
_BEFORE è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE has luogo
durante
IntervalloTemporale
vales
durante
IntervalloTemporale
_BEFORE
SiteWideNewSellersFn
IntervalloTemporale
and
WebSite
is
uguale
a
InsiemeConcreto
(=>
(
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
Oggetto
è un'
istanza
di
InvasiveVentilator
Processo
è un'
istanza
di
Respirazione
AutonomousAgent
esperisce
s
Processo
Oggetto
è uno
strumento
per
Processo
Processo
Processo
è un'
istanza
di
Intubation
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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 10653-10665
Processo
è un'
istanza
di
Assunzione
AgenteCognitivo
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
expects
AgenteCognitivo
and
Entit�
Entit�
è un'
istanza
di
ScambioFinanziario
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
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 12200-12210
Processo
è un'
istanza
di
Trattenere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Porre
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
Trasferimento
è un'
istanza
di
MoveToEvac
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Evacuation
objectTransferred
Entit�
and
Oggetto
il
tempo
di esistenza di
Trasferimento
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
successorClass
?N1 ?N2))
(
earlier
?M1 ?M2))
Merge.kif 8737-8742
IntervalloTemporale
è un'
istanza
di il
mese
Mese
IntervalloTemporale
è un'
istanza
di il
mese
Mese
successorClass
Mese
and
Mese
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
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
Proposizione
è un'
istanza
di
Programma
Entit�Concreta
è un'
istanza
di
Processo
Proposizione
esprime
Entit�Concreta
Proposizione
NING
ContentBearingPhysical
Proposizione
NING è un'
istanza
di
Pianificazione
ContentBearingPhysical
è un'
istanza
di
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è un
risultato
di
Proposizione
NING l'
inizio
di il
tempo
di esistenza di
Proposizione
NING accades
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
la
fine
di il
tempo
di esistenza di
Proposizione
NING accades
prima
di la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?PREDICT
Predicting
)
(
patient
?PREDICT ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
earlier
?TIME
(
WhenFn
?PREDICT)))))
Merge.kif 12171-12178
Processo
è un'
istanza
di
Prevedere
Formula
è un
paziente
di
Processo
IntervalloTemporale
Formula
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
ProcessoIntenzionale
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
attribute
Agreement
and
Legal
Processo
Processo
,
Processo
1 and
Processo
2
Processo
è un'
istanza
di
Offering
Processo
è un'
istanza
di
ReachingAgreement
Processo
include un
riferimento
a
Agreement
Processo
include un
riferimento
a
Agreement
Processo
è un
agente
di
Processo
1
Processo
è un
agente
di
Processo
2 il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
PoststrikeReconnaissance
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Attack
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
Entit�Concreta
è un'
istanza
di
OrganismRemains
Entit�
è una
parte
di
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Organismo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?REMEMBER
Remembering
)
(
patient
?REMEMBER ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
or
(
before
?TIME
(
WhenFn
?REMEMBER))
(
earlier
?TIME
(
WhenFn
?REMEMBER))))))
Merge.kif 12185-12194
Processo
è un'
istanza
di
Ricordare
Formula
è un
paziente
di
Processo
IntervalloTemporale
Formula
vales
durante
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Processo
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?REPAIR
Repairing
)
(
patient
?REPAIR ?OBJ))
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ)
(
earlier
(
WhenFn
?DAMAGE)
(
WhenFn
?REPAIR)))))
Merge.kif 12251-12259
Processo
è un'
istanza
di
Riparare
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Danneggiare
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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 11785-11795
Processo
è un'
istanza
di
GivingBack
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Processo
Processo
è un'
istanza
di
Dare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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 17265-17273
Processo
è un'
istanza
di
Returning
AutonomousAgent
esperisce
s
Processo
Processo
fine
s in
Entit�
IntervalloTemporale
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
localizzato
in
Entit�
vales
durante
IntervalloTemporale
(=>
(
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
è un'
istanza
di
ReusingAResource
resourceUsed
ComputerProcess
and
ComputerResource
ComputerProcess
ComputerProcess
è un'
istanza
di
UsingAResource
resourceUsed
ComputerProcess
and
ComputerResource
il
tempo
di esistenza di
ComputerProcess
accades
prima
di il
tempo
di esistenza di
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 16249-16258
Processo
è un'
istanza
di
Sentencing
Entit�
è un
paziente
di
Processo
Processo
Processo
causa
s
Processo
Processo
è un'
istanza
di
LegalConviction
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
SEO
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
_BEFORE
Entit�
_AFTER,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
_BEFORE è un'
istanza
di
SRPResults
Entit�
_AFTER è un'
istanza
di
SRPResults
Entit�
is
uguale
a
Entit�
th
elemento
di
Entit�
_BEFORE
Entit�
is
uguale
a
Entit�
th
elemento
di
Entit�
_AFTER
Entit�
è un'
istanza
di
BestMatchAlgorithm
Entit�
è un'
istanza
di
BestMatchAlgorithm
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Processo
Entit�
è
pi
ù grande di
Entit�
(=>
(
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
è un'
istanza
di
SoftwareUnInstallation
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
è
localizzato
in
Oggetto
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
SoftwareInstallation
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
è
localizzato
in
Oggetto
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
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
Oggetto
è un'
istanza
di
Whiskey
IntervalloTemporale
è un'
istanza
di
Distilling
Oggetto
è un
risultato
di
IntervalloTemporale
Oggetto
è una
risorsa
per
IntervalloTemporale
R
IntervalloTemporale
R è un'
istanza
di
Bere
OggettoIntegro
IntervalloTemporale
and
apertura
OggettoIntegro
è un'
istanza
di
Cask
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
Oggetto
riempie
parzialmentes
OggettoIntegro
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
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