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
e' uma
instancia
de
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
WARD e' uma
instancia
de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
WARD e' um
patient
de
Processo
Processo
termina
em
AutonomousAgent
Processo
causa
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
Entidade
e' uma
instancia
de
Burrow
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Animal
AutonomousAgent
e' uma
instancia
de
Humano
Entidade
e' o
resultado
de
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
e' uma
instancia
de
BusinessRequirementDocument
Proposicao
Agente Cognitivo
and
Formula
Proposicao
e' uma
instancia
de
Plano
Agente Cognitivo
e' uma
instancia
de
Business
Formula
e' uma
instancia
de
Processo
Proposicao
define
Formula
Agente Cognitivo
deseja
Formula
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
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
e' uma
instancia
de
CheckInService
Agente Cognitivo
Agente Cognitivo
,
Processo
and
Processo
customer
Agente Cognitivo
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Processo
e' uma
instancia
de
Greeting
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
ServiceProcess
causa
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
Objeto
e' uma
instancia
de
TemperatureControl
Objeto
Entidade
Objeto
e' uma
instancia
de
ElectricDevice
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Regiao
Entidade
e' uma
instancia
de
Processo
Objeto
e' um
instrumento
para
Entidade
airTemperature
Entidade
and
Entidade
e' o
resultado
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
EngineControlModule
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
Engine
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
eventLocated
Entidade
and
Fisico
eventLocated
Entidade
and
Entidade
Entidade
causa
Entidade
(=>
(
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
e' uma
instancia
de
Experimenting
Entidade
_EVENTS
Entidade
_EVENTS e' uma
instancia
de
Colecao
Processo
Processo
e' uma
instancia
de
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
e'
membro
de
Entidade
_EVENTS
QualifyingEventsFn
Experimenting
e'
igual
a
Entidade
_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
Fisico
e' uma
instancia
de
Generator
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
instancia
de
Electricity
Entidade
e' o
resultado
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
Fisico
e' uma
instancia
de
HydraulicFluid
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Liquid
e' um
atributo
de
Fisico
vale
durante
tempo
de existencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
ProtectiveEyewear
Fisico
tem por
fim
Fisico
RSON
Fisico
RSON e' uma
instancia
de
Humano
Fisico
RSON
usa
Fisico
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
Objeto
e' uma
instancia
de
PeacekeepingUnit
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
agent
(=>
(
instance
?R
Recording
)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
record
?R ?P))))
Mid-level-ontology.kif 14388-14393
Objeto Representendo Conteudo Abstrato
e' uma
instancia
de
Recording
Fisico
Fisico
e' uma
instancia
de
Processo
record
Objeto Representendo Conteudo Abstrato
and
Fisico
(=>
(
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
Colecao
e' uma
instancia
de
CrossFunctionalTeam
Processo
AutonomousAgent
,
AutonomousAgent
and
Entidade
Processo
e' uma
sub
-classe de
Processo
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
tem a
capacidade
de fazer
Processo
AutonomousAgent
tem a
capacidade
de fazer
Processo
Entidade
e' uma
instancia
de
Processo
Colecao
esta'
interessado
em
Entidade
(=>
(
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
e' uma
instancia
de
TestProtocolSpecification
Proposicao
Processo
and
Processo
Proposicao
e' uma
instancia
de
Plano
Processo
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
Processo
Proposicao
define
Processo
Processo
e' um
sub
-processo de
Processo
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
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
Fisico
e' uma
instancia
de
TransferSwitch
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
instancia
de
PowerSource
Entidade
e' uma
instancia
de
PowerSource
Entidade
e' uma
instancia
de
Electricity
Fisico
e' um
instrumento
para
Entidade
Entidade
tem como
origem
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Entidade
Entidade
tem como
origem
Entidade
vale
durante o
fim
de
tempo
de existencia de
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Valve
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transferencia
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
e' um
patient
de
Entidade
Fluid
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
AirConditioner
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Fisico
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
airTemperature
Entidade
and
Entidade
e' o
resultado
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Earphone
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
ElectricalSignalling
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Fisico
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
tem como
origem
Fisico
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Ear
Fisico
e'
Adjacent
em relacao a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
SafetyDevice
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
patient
de
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
proibe
a ocurrencia de a
classe
descrita por
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
SeatBelt
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vehicle
Fisico
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
contem
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
proibe
a ocurrencia de a
classe
descrita por
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Tripod
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Artefato
Entidade
e' uma
instancia
de
Colocar
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Fisico
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
instrumento
para
Entidade
o
fim
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
Objeto
e' uma
instancia
de
VideoRecording
Entidade
Entidade
e' uma
instancia
de
Processo
Objeto
define
Entidade
Objeto
e'
capaz
de fazer
Luz Irradiante
no role
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
Humano
and
AutonomousAgent
Processo
Processo
Processo
e' uma
instancia
de
Administrar
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Processo
Humano
e' o
resultado
de
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
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Processo
Recording
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e'
igual
a
tempo
de existencia de o
fim
de
Intervalo Temporal
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
tem um
atributo
de
ABTest
Processo
Processo
e' uma
instancia
de
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