Process
(Processo)
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
Processo
è un'
istanza
di
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
WARD è un'
istanza
di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
WARD è un
paziente
di
Processo
Processo
fine
s in
AutonomousAgent
Processo
causa
s
Processo
(=>
(
instance
?B
Burrow
)
(
exists
(?P ?A)
(
and
(
instance
?P
Process
)
(
agent
?P ?A)
(
instance
?A
Animal
)
(
not
(
instance
?A
Human
))
(
result
?P ?B))))
Geography.kif 6031-6040
Entit�
è un'
istanza
di
Burrow
Processo
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Animale
AutonomousAgent
è un'
istanza
di
Umano
Entit�
è un
risultato
di
Processo
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
ContentBearingPhysical
è un'
istanza
di
BusinessRequirementDocument
Proposizione
AgenteCognitivo
and
Formula
Proposizione
è un'
istanza
di
Programma
AgenteCognitivo
è un'
istanza
di
Business
Formula
è un'
istanza
di
Processo
Proposizione
esprime
Formula
AgenteCognitivo
desidera
s
Formula
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
ServiceProcess
è un'
istanza
di
CheckInService
AgenteCognitivo
AgenteCognitivo
,
Processo
and
Processo
customer
AgenteCognitivo
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
Processo
è un'
istanza
di
Greeting
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
ServiceProcess
causa
s
Processo
(=>
(
instance
?CTRL
TemperatureControl
)
(
exists
(?DEVICE ?TEMP)
(
and
(
instance
?DEVICE
ElectricDevice
)
(
part
?CTRL ?DEVICE)
(
hasPurpose
?DEVICE
(
exists
(?PROC ?AREA)
(
and
(
instance
?AREA
Region
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?CTRL)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))))
engineering.kif 1139-1151
Oggetto
è un'
istanza
di
TemperatureControl
Oggetto
Entit�
Oggetto
è un'
istanza
di
ElectricDevice
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Regione
Entit�
è un'
istanza
di
Processo
Oggetto
è uno
strumento
per
Entit�
airTemperature
Entit�
and
Entit�
è un
risultato
di
Entit�
(=>
(
instance
?ECM
EngineControlModule
)
(
hasPurpose
?ECM
(
exists
(?A ?E ?P1 ?P2)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
part
?E ?A)
(
part
?ECM ?A)
(
eventLocated
?P1 ?ECM)
(
eventLocated
?P2 ?E)
(
causes
?P1 ?P2)))))
Cars.kif 2519-2532
Entit�Concreta
è un'
istanza
di
EngineControlModule
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
Engine
Entit�
è un'
istanza
di
Processo
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
and
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?QUALIFYING_EVENTS)
(
and
(
instance
?QUALIFYING_EVENTS
Collection
)
(
forall
(?EVENT)
(=>
(
and
(
instance
?EVENT
Process
)
(
or
(
experimentalControlProcess
?EXPERIMENT ?EVENT)
(
experimentalVariableProcess
?EXPERIMENT ?EVENT)))
(
member
?EVENT ?QUALIFYING_EVENTS)))
(
equal
(
QualifyingEventsFn
?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4208-4223
Experimenting
è un'
istanza
di
Experimenting
Entit�
_EVENTS
Entit�
_EVENTS è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
è un
membro
di
Entit�
_EVENTS
QualifyingEventsFn
Experimenting
is
uguale
a
Entit�
_EVENTS
(=>
(
instance
?G
Generator
)
(
hasPurpose
?G
(
exists
(?P ?E)
(
and
(
instance
?P
Process
)
(
instance
?E
Electricity
)
(
result
?P ?E)
(
instrument
?P ?G)))))
Cars.kif 1194-1202
Entit�Concreta
è un'
istanza
di
Generator
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un'
istanza
di
Electricity
Entit�
è un
risultato
di
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
Entit�Concreta
è un'
istanza
di
HydraulicFluid
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
attribute
Entit�Concreta
and
Liquid
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
Entit�Concreta
è un'
istanza
di
ProtectiveEyewear
Entit�Concreta
ha
scopo
Entit�Concreta
RSON
Entit�Concreta
RSON è un'
istanza
di
Umano
wears
Entit�Concreta
RSON and
Entit�Concreta
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
Oggetto
è un'
istanza
di
PeacekeepingUnit
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
agent
(=>
(
instance
?R
Recording
)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
record
?R ?P))))
Mid-level-ontology.kif 14388-14393
OggettoSemiotico
è un'
istanza
di
Recording
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Processo
record
OggettoSemiotico
and
Entit�Concreta
(=>
(
instance
?TEAM
CrossFunctionalTeam
)
(
exists
(?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(
and
(
subclass
?SKILL
Process
)
(
instance
?MEMBER1
Human
)
(
instance
?MEMBER2
Human
)
(
member
?MEMBER1 ?TEAM)
(
member
?MEMBER2 ?TEAM)
(
hasSkill
?SKILL ?MEMBER1)
(
not
(
hasSkill
?SKILL ?MEMBER2))
(
instance
?INST ?SKILL)
(
inScopeOfInterest
?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
InsiemeConcreto
è un'
istanza
di
CrossFunctionalTeam
Processo
AutonomousAgent
,
AutonomousAgent
and
Entit�
Processo
è una
sottoclasse
di
Processo
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
ha &n
la
capacità di fare
Processo
AutonomousAgent
ha &n
la
capacità di fare
Processo
Entit�
è un'
istanza
di
Processo
InsiemeConcreto
è
interessato
a
Entit�
(=>
(
instance
?TPS
TestProtocolSpecification
)
(
exists
(?PLAN ?EXPERIMENT ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
subProcess
?EXPERIMENT ?PROC)
(
containsInformation
?TPS ?PLAN))))
UXExperimentalTerms.kif 2754-2763
ContentBearingPhysical
è un'
istanza
di
TestProtocolSpecification
Proposizione
Processo
and
Processo
Proposizione
è un'
istanza
di
Programma
Processo
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
Processo
Proposizione
esprime
Processo
Processo
è un
sottoprocesso
di
Processo
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?TRANS
TransferSwitch
)
(
hasPurpose
?TRANS
(
exists
(?PROC ?POWER1 ?POWER2 ?E)
(
and
(
instance
?PROC
Process
)
(
instance
?POWER1
PowerSource
)
(
instance
?POWER2
PowerSource
)
(
instance
?E
Electricity
)
(
instrument
?PROC ?TRANS)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
origin
?E ?POWER1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
origin
?E ?POWER1))
(
not
(
equal
?POWER1 ?POWER2))))))
engineering.kif 882-901
Entit�Concreta
è un'
istanza
di
TransferSwitch
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un'
istanza
di
PowerSource
Entit�
è un'
istanza
di
PowerSource
Entit�
è un'
istanza
di
Electricity
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
si
originas in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
si
originas in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Entit�
Entit�
is
uguale
a
Entit�
(=>
(
instance
?V
Valve
)
(
hasPurpose
?V
(
exists
(?FLUID ?PROC ?FLOW)
(
and
(
instance
?FLOW
Transfer
)
(
path
?FLOW ?V)
(
patient
?FLOW ?FLUID)
(
attribute
?FLUID
Fluid
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?V)
(
patient
?PROC ?FLOW)))))
engineering.kif 914-925
Entit�Concreta
è un'
istanza
di
Valve
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
è un
paziente
di
Entit�
attribute
Entit�
and
Fluid
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?X
AirConditioner
)
(
hasPurpose
?X
(
exists
(?PROC ?TEMP ?AREA)
(
and
(
located
?X ?AREA)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))
Mid-level-ontology.kif 25994-26002
Entit�Concreta
è un'
istanza
di
AirConditioner
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�Concreta
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
airTemperature
Entit�
and
Entit�
è un
risultato
di
Entit�
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 26053-26074
Entit�Concreta
è un'
istanza
di
Earphone
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
ElectricalSignalling
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
si
originas in
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Ear
Entit�Concreta
è
Adjacent
a
Entit�
(=>
(
instance
?X
SafetyDevice
)
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
instrument
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T
(
patient
?P ?H)))))))))))
Cars.kif 3355-3373
Entit�Concreta
è un'
istanza
di
SafetyDevice
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Processo
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
Entit�Concreta
è un'
istanza
di
SeatBelt
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vehicle
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
contains
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
(=>
(
instance
?X
Tripod
)
(
hasPurpose
?X
(
exists
(?OBJ ?PUT ?PROC)
(
and
(
instance
?OBJ
Artifact
)
(
instance
?PUT
Putting
)
(
patient
?PUT ?OBJ)
(
destination
?PUT ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?OBJ)
(
before
(
EndFn
(
WhenFn
?PUT))
(
BeginFn
(
WhenFn
?PROC)))))))
Mid-level-ontology.kif 26719-26732
Entit�Concreta
è un'
istanza
di
Tripod
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Manufatto
Entit�
è un'
istanza
di
Porre
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è uno
strumento
per
Entit�
la
fine
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
Oggetto
è un'
istanza
di
VideoRecording
Entit�
Entit�
è un'
istanza
di
Processo
Oggetto
esprime
Entit�
Oggetto
è
capace
di fare
RadiazioneLuminosa
nel ruolo
patient
(=>
(
produced
?R ?A)
(
exists
(?M ?P)
(
and
(
instance
?M
Managing
)
(
agent
?M ?A)
(
patient
?M ?P)
(
instance
?P
Process
)
(
result
?P ?R))))
Mid-level-ontology.kif 20693-20701
produced
Umano
and
AutonomousAgent
Processo
Processo
Processo
è un'
istanza
di
Gestione
Processo
è un
agente
di
AutonomousAgent
Processo
è un
paziente
di
Processo
Processo
è un'
istanza
di
Processo
Umano
è un
risultato
di
Processo
(=>
(
producedOn
?R ?D)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
result
?P ?R)
(
equal
?D
(
WhenFn
(
EndFn
?P))))))
Music.kif 96-104
producedOn
Recording
and
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Processo
Recording
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di la
fine
di
IntervalloTemporale
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
ha un
attributo
ABTest
Processo
Processo
è un'
istanza
di
Processo
experimentalControlProcess
Experimenting
and
Processo
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