Process
(process)
(=>
(
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
If
a process
is an
instance
of
awarding
,
then there exist
an agent
,
another agent
,, ,
another process
and
the process
WARD such that
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the other process
is an
instance
of
process
and
the process
WARD is an
instance
of
object
and
the agent
is an
agent
of
the other process
and
the other agent
is an
agent
of
the process
and
the process
WARD is a
patient
of
the process
and
the process
end
s up at
the agent
and
the other process
cause
s
the process
(=>
(
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
If
an entity
is an
instance
of
burrow
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
process
and
the agent
is an
agent
of
the process
and
the agent
is an
instance
of
animal
and
the agent
is not an
instance
of
human
and
the entity
is a
result
of
the process
(=>
(
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
If
a content bearing physical
is an
instance
of
business requirement document
,
then there exist
a proposition
,
a cognitive agent
and
a formula
such that
the proposition
is an
instance
of
plan
and
the cognitive agent
is an
instance
of
business
and
the formula
is an
instance
of
process
and
the proposition
express
es
the formula
and
the cognitive agent
desire
s
the formula
and
the content bearing physical
contain
s information
the 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
If
a service
is an
instance
of
check-in service
,
then there exist
a cognitive agent
,
another cognitive agent
,, ,
a process
and
another process
such that
the cognitive agent
is a
customer
of
the other cognitive agent
and
the cognitive agent
provides a service during
the service
and
the process
is an
instance
of
greeting
and
the other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the cognitive agent
and
the process
is a
subprocess
of
the service
and
the other process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other process
and
the service
cause
s
the other process
(=>
(
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
If
an object
is an
instance
of
temperature control
,
then there exist
another object
and
an entity
such that
the other object
is an
instance
of
electric device
and
the object
is a
part
of
the other object
and
the other object
has the purpose there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
region
and
the other entity
is an
instance
of
process
and
the object
is an
instrument
for
the other entity
and
the entity
is an
air
temperature of
the third entity
is a
result
of
the other entity
(=>
(
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
If
a physical
is an
instance
of
engine control module
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
automobile
and
the other entity
is an
instance
of
engine
and
the third entity
is an
instance
of
process
and
the fourth entity
is an
instance
of
process
and
the other entity
is a
part
of
the entity
and
the physical
is a
part
of
the entity
and
the third entity
is
located
at
the physical
and
the fourth entity
is
located
at
the other entity
and
the third entity
cause
s
the fourth entity
(=>
(
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
If
an experimenting
is an
instance
of
experimenting
,
then there exists
an entity
_EVENTS such that
the entity
_EVENTS is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
process
and the
control
in experiment
the experimenting
is
the process
or
the process
is a
process
in
the experimenting
,
then
the process
is a
member
of
the entity
_EVENTS
and
events
in
the experimenting
is
equal
to
the entity
_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
If
a physical
is an
instance
of
generator
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
process
and
the other entity
is an
instance
of
electricity
and
the other entity
is a
result
of
the entity
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
If
a physical
is an
instance
of
hydraulic fluid
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
process
and
the physical
is an
instrument
for
the entity
and
liquid
is an
attribute
of
the physical
holds
during
the
time
of existence of
the entity
(=>
(
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
If
a physical
is an
instance
of
protective eyewear
,
then
the physical
has the purpose
if there exists
the physical
RSON such that
the physical
RSON is an
instance
of
human
and
the physical
RSON
wear
s
the physical
,
then there exist
another entity
,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the other entity
is an
instance
of
process
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is a
subclass
of the
class
described by
the fifth entity
and
the other entity
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
If
an object
is an
instance
of
peacekeeping unit
,
then
the object
is
capable
of doing the
class
described by
a symbolic string
as a
agent
(=>
(
instance
?R
Recording
)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
record
?R ?P))))
Mid-level-ontology.kif 14388-14393
If
a content bearing object
is an
instance
of
recording
,
then there exists
a physical
such that
the physical
is an
instance
of
process
and
the content bearing object
is a
record
of
the physical
(=>
(
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
If
a collection
is an
instance
of
cross-functional team
,
then there exist
a kind of process
,
an agent
,, ,
another agent
and
an entity
such that
a kind of process
is a
subclass
of
process
and
the agent
is an
instance
of
human
and
the other agent
is an
instance
of
human
and
the agent
is a
member
of
the collection
and
the other agent
is a
member
of
the collection
and
the agent
has the
skill
to do
the kind of process
and
the other agent
does not have the
skill
to do
the kind of process
and
the entity
is an
instance
of
the kind of process
and
the collection
is
interested
in
the entity
(=>
(
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
If
a content bearing physical
is an
instance
of
test protocol specification
,
then there exist
a proposition
,
a process
and
another process
such that
the proposition
is an
instance
of
plan
and
the process
is an
instance
of
experimenting
and
the other process
is an
instance
of
process
and
the proposition
express
es
the other process
and
the process
is a
subprocess
of
the other process
and
the content bearing physical
contain
s information
the 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
If
a physical
is an
instance
of
transfer switch
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the other entity
is an
instance
of
power source
and
the third entity
is an
instance
of
power source
and
the fourth entity
is an
instance
of
electricity
and
the physical
is an
instrument
for
the entity
and
the fourth entity
originate
s at
the other entity
holds
during
the
beginning
of the
time
of existence of
the entity
and
the fourth entity
originate
s at
the other entity
holds
during
the
end
of the
time
of existence of
the entity
and
the other entity
is not
equal
to
the third entity
(=>
(
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
If
a physical
is an
instance
of
valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
transfer
and
the physical
is
path
along which
the third entity
occurs and
the entity
is a
patient
of
the third entity
and
fluid
is an
attribute
of
the entity
and
the other entity
is an
instance
of
process
and
the physical
is an
instrument
for
the other entity
and
the third entity
is a
patient
of
the other entity
(=>
(
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
If
a physical
is an
instance
of
air conditioner
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the physical
is
located
at
the third entity
and
the entity
is an
instance
of
process
and
the physical
is an
instrument
for
the entity
and
the other entity
is an
air
temperature of
the third entity
is a
result
of
the entity
(=>
(
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
If
a physical
is an
instance
of
earphone
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
electrical signalling
and
the third entity
is a
patient
of
the entity
and
the entity
end
s up at
the physical
and
the fifth entity
is an
instance
of
process
and
the physical
is an
instrument
for
the fifth entity
and
the third entity
is a
patient
of
the fifth entity
and
the other entity
is a
result
of
the fifth entity
and
the other entity
is an
instance
of
radiating sound
and
the other entity
originate
s at
the physical
and the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the fifth entity
and the
beginning
of the
time
of existence of
the fifth entity
happens
before
the
beginning
of the
time
of existence of
the other entity
and
the fourth entity
is an
instance
of
ear
and
the physical
is
adjacent
to
the fourth entity
(=>
(
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
If
a physical
is an
instance
of
safety device
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
process
and
the other entity
is a
patient
of
the entity
and
the physical
is an
instrument
for
the entity
and
the entity
prevent
s the occurrence of the
class
described by
the third entity
(=>
(
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
If
a physical
is an
instance
of
seat belt
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
vehicle
and
the physical
is a
part
of
the third entity
and
the entity
is an
instance
of
human
and
the third entity
contain
s
the entity
and
the other entity
is an
instance
of
process
and
the other entity
prevent
s the occurrence of the
class
described by
the fourth entity
(=>
(
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
If
a physical
is an
instance
of
tripod
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
artifact
and
the other entity
is an
instance
of
putting
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
the physical
and
the third entity
is an
instance
of
process
and
the entity
is an
instrument
for
the third entity
and the
end
of the
time
of existence of
the other entity
happens
before
the
beginning
of the
time
of existence of
the third entity
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
If
an object
is an
instance
of
video recording
,
then there exists
an entity
such that
the entity
is an
instance
of
process
and
the object
express
es
the entity
and
the object
is
capable
of doing
radiating light
as a
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
If
an agent
produces
a human
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
managing
and
the agent
is an
agent
of
the process
and
the other process
is a
patient
of
the process
and
the other process
is an
instance
of
process
and
the human
is a
result
of
the other process
(=>
(
producedOn
?R ?D)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
result
?P ?R)
(
equal
?D
(
WhenFn
(
EndFn
?P))))))
Music.kif 96-104
If
a recording
was
produced
on
a time interval
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
process
and
the recording
is a
result
of
the other time interval
and
the time interval
is
equal
to the
time
of existence of the
end
of
the other time interval
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
If
an experimenting
the
attribute
A/B test
,
then there exists
a process
such that
the process
is an
instance
of
process
and the
control
in experiment
the experimenting
is
the process
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