Process
(processus)
(=>
(
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
Processus
est une
instance
de
Awarding
AutonomousAgent
AutonomousAgent
,
processus
and
processus
WARD
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
processus
processus
WARD est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
WARD est un
patient
de
processus
processus
aboutit
�
AutonomousAgent
processus
cause
processus
(=>
(
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�
est une
instance
de
Burrow
processus
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
animal
AutonomousAgent
est une
instance
de
humain
entit�
est le
resultat
de
processus
(=>
(
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
est une
instance
de
BusinessRequirementDocument
proposition
agent cognitif
and
formule
proposition
est une
instance
de
plan
agent cognitif
est une
instance
de
Business
formule
est une
instance
de
processus
proposition
d
�finie
formule
agent cognitif
desire
formule
ContentBearingPhysical
contient
information
proposition
(=>
(
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
est une
instance
de
CheckInService
agent cognitif
agent cognitif
,
processus
and
processus
customer
agent cognitif
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
processus
est une
instance
de
Greeting
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
ServiceProcess
cause
processus
(=>
(
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
Objet
est une
instance
de
TemperatureControl
objet
entit�
objet
est une
instance
de
ElectricDevice
objet
est une
partie
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
r�gion
entit�
est une
instance
de
processus
objet
est un
instrument
pour
entit�
airTemperature
entit�
and
entit�
est le
resultat
de
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
Physique
est une
instance
de
EngineControlModule
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
Engine
entit�
est une
instance
de
processus
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
physique
est une
partie
de
entit�
eventLocated
entit�
and
physique
eventLocated
entit�
and
entit�
entit�
cause
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
est une
instance
de
Experimenting
entit�
_EVENTS
entit�
_EVENTS est une
instance
de
collection
processus
processus
est une
instance
de
processus
experimentalControlProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
processus
est un
membre
de
entit�
_EVENTS
QualifyingEventsFn
Experimenting
est
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
Physique
est une
instance
de
Generator
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
processus
entit�
est une
instance
de
Electricity
entit�
est le
resultat
de
entit�
physique
est un
instrument
pour
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
Physique
est une
instance
de
HydraulicFluid
physique
a pour
but
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
Liquid
est un
attribut
de
physique
pendant
temps
d'existence de
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
Physique
est une
instance
de
ProtectiveEyewear
physique
a pour
but
physique
RSON
physique
RSON est une
instance
de
humain
physique
RSON
porte
physique
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
Objet
est une
instance
de
PeacekeepingUnit
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
agent
(=>
(
instance
?R
Recording
)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
record
?R ?P))))
Mid-level-ontology.kif 14388-14393
Objet exprimant un sens
est une
instance
de
Recording
physique
physique
est une
instance
de
processus
record
objet exprimant un sens
and
physique
(=>
(
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
Collection
est une
instance
de
CrossFunctionalTeam
processus
AutonomousAgent
,
AutonomousAgent
and
entit�
processus
est une
sous
-classe de
processus
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
a la
capacit
� de faire
processus
AutonomousAgent
a la
capacit
� de faire
processus
entit�
est une
instance
de
processus
collection
est
interess
� par
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
est une
instance
de
TestProtocolSpecification
proposition
processus
and
processus
proposition
est une
instance
de
plan
processus
est une
instance
de
Experimenting
processus
est une
instance
de
processus
proposition
d
�finie
processus
processus
est un
sous
-processus de
processus
ContentBearingPhysical
contient
information
proposition
(=>
(
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
Physique
est une
instance
de
TransferSwitch
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
instance
de
PowerSource
entit�
est une
instance
de
PowerSource
entit�
est une
instance
de
Electricity
physique
est un
instrument
pour
entit�
entit�
a pour
origine
entit�
pendant
le
d
�but de
temps
d'existence de
entit�
entit�
a pour
origine
entit�
pendant
la
fin
de
temps
d'existence de
entit�
entit�
est
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
Physique
est une
instance
de
Valve
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
transf�re
physique
est le
chemin
le long duquel
entit�
se produit
entit�
est un
patient
de
entit�
Fluid
est un
attribut
de
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
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
Physique
est une
instance
de
AirConditioner
physique
a pour
but
entit�
entit�
and
entit�
physique
est
situ
� �
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
airTemperature
entit�
and
entit�
est le
resultat
de
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
Physique
est une
instance
de
Earphone
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
ElectricalSignalling
entit�
est un
patient
de
entit�
entit�
aboutit
�
physique
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
son irradiant
entit�
a pour
origine
physique
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
Ear
physique
est
Adjacent
�
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
Physique
est une
instance
de
SafetyDevice
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
processus
entit�
est un
patient
de
entit�
physique
est un
instrument
pour
entit�
entit�
previent
l'occurrence de la
classe
d�crite par
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
Physique
est une
instance
de
SeatBelt
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Vehicle
physique
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
contient
entit�
entit�
est une
instance
de
processus
entit�
previent
l'occurrence de la
classe
d�crite par
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
Physique
est une
instance
de
Tripod
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
artefact
entit�
est une
instance
de
mettre
entit�
est un
patient
de
entit�
entit�
aboutit
�
physique
entit�
est une
instance
de
processus
entit�
est un
instrument
pour
entit�
la
fin
de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
Objet
est une
instance
de
VideoRecording
entit�
entit�
est une
instance
de
processus
objet
d
�finie
entit�
objet
est
capable
de faire
lumi�re irradiante
dans le r�le
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
humain
and
AutonomousAgent
processus
processus
processus
est une
instance
de
diriger
processus
est un
agent
de
AutonomousAgent
processus
est un
patient
de
processus
processus
est une
instance
de
processus
humain
est le
resultat
de
processus
(=>
(
producedOn
?R ?D)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
result
?P ?R)
(
equal
?D
(
WhenFn
(
EndFn
?P))))))
Music.kif 96-104
producedOn
Recording
and
interval temporel
interval temporel
interval temporel
est une
instance
de
processus
Recording
est le
resultat
de
interval temporel
interval temporel
est
temps
d'existence de la
fin
de
interval temporel
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
a un
attribute
ABTest
processus
processus
est une
instance
de
processus
experimentalControlProcess
Experimenting
and
processus
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