instrument
(=>
(
and
(
instance
?EXPRESS
FacialExpression
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?FACE)
(
and
(
part
?FACE ?AGENT)
(
instance
?FACE
Face
)
(
instrument
?EXPRESS ?FACE))))
Mid-level-ontology.kif 12469-12477
If
a process
is an
instance
of
facial expression
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is a
part
of
the agent
and
the object
is an
instance
of
face
and
the object
is an
instrument
for
the process
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10115-10125
If
a motion
is an
instance
of
Flexion
and
an object
moves during
the motion
,
then there exist
another object
and
the other object
C such that
the other object
is an
instance
of
muscle
and
the other object
C is an
instance
of
MuscularContraction
and
the other object
is an
instrument
for
the motion
and
the other object
is
connected
to
the object
and
the other object
C is a
subprocess
of
the motion
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3120-3131
If
a process
is an
instance
of
folding
and
an object
is a
patient
of
the process
,
then there exist
another process
,
another object
and
a third object
such that
the other process
is an
instance
of
covering
and
the other process
is a
subprocess
of
the process
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the other object
is an
instrument
for
the other process
and
the third object
is a
patient
of
the other process
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN))
Mid-level-ontology.kif 1373-1391
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
UnitOfLength
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and
the object
is an
instance
of
organism
and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then
the device
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN))
Mid-level-ontology.kif 1352-1369
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
UnitOfLength
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then
the device
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 24425-24446
If
a TelecomNumber
is an
instance
of
hotline
and
the TelecomNumber
is the
telephone
number
of
an agent
and
the agent
is an
instance
of
organization
,
then
the TelecomNumber
has the purpose there exists
an entity
such that
the entity
is an
instance
of
telephoning
and
the entity
end
s up at
the agent
and the statement there exists
another entity
such that
the other entity
is an
instance
of
communication
and
the TelecomNumber
is an
instrument
for
the other entity
and the
beginning
of the
time
of existence of
the other entity
is
equal
to the
beginning
of immediately
after
the
time
of existence of
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
))
(
exists
(?IRON ?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
instance
?IRON
FabricIron
)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 24596-24607
If
a process
is an
instance
of
ironing
and
an object
is a
patient
of
the process
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
fabric
,
then there exist
the process
RON and
another process
such that
the other process
is an
instance
of
heating
and
the process
RON is a
patient
of
the other process
and
the process
RON is an
instance
of
iron
and
the process
RON is an
instrument
for
the process
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 24584-24594
If
a process
is an
instance
of
ironing
and
an object
is a
patient
of
the process
,
then there exist
another process
,
the process
RON and
a third object
such that
the third object
is a
superficial
part of
the object
and
the other process
is an
instance
of
heating
and
the process
RON is a
patient
of
the other process
and
the third object
is a
patient
of
the process
and
the process
RON is an
instrument
for
the process
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
Agent
)
(
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 3584-3616
If
a time interval
is an
instance
of
time interval
and
a WebSite
is an
instance
of
WebSite
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
and
the WebSite
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the WebSite
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
buyers
at
the WebSite
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
Agent
)
(
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 3683-3715
If
a time interval
is an
instance
of
time interval
and
a WebSite
is an
instance
of
WebSite
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
and
the WebSite
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the WebSite
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
sellers
at
the WebSite
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?KICK
Kicking
)
(
agent
?KICK ?ANIMAL))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?ANIMAL)
(
instrument
?KICK ?FOOT))))
Mid-level-ontology.kif 6297-6305
If
a process
is an
instance
of
kicking
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
foot
and
the object
is a
part
of
the agent
and
the object
is an
instrument
for
the process
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25188-25205
If
a physical
is an
instance
of
knock light
and
the physical
is
located
at
an object
and
the object
is an
instance
of
room
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
radiating visible light
and
the physical
is an
instrument
for
the third entity
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3951-3965
If
a process
is an
instance
of
logging in
and
an agent
has
account
an user account
and
deviceAccount
the user account
and
a computer
and
a time interval
is
equal
to immediately
after
the
time
of existence of
the process
and
the agent
is an
agent
of
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
computer process
and
the agent
is an
agent
of
the entity
and
the computer
is an
instrument
for
the entity
holds
during
the time interval
has the
modal
force
of
possibility
(=>
(
and
(
instance
?M
Microwave
)
(
attribute
?M
DeviceOn
))
(
exists
(?PROC)
(
and
(
instance
?PROC
RadiatingElectromagnetic
)
(
instrument
?PROC ?M))))
Mid-level-ontology.kif 24764-24771
If
an object
is an
instance
of
microwave
and
device on
is an
attribute
of
the object
,
then there exists
a process
such that
the process
is an
instance
of
radiating electromagnetic
and
the object
is an
instrument
for
the process
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 577-586
If
an engineering component
is an
instance
of
CableModem
and
a process
is an
instance
of
communication
and
the engineering component
is an
instrument
for
the process
,
then there exists
another engineering component
such that
the other engineering component
is an
instance
of
cable
and
the other engineering component
is an
instrument
for
the process
and
the other engineering component
is
connected
to
the engineering component
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
If
a collection
is an
instance
of
organization
and
pipeline transportation
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
possess
es
a third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
substance
and
the collection
possess
es
the other entity
and
the cognitive agent
IPE is an
instrument
for
the entity
and
the cognitive agent
IPE is an
instance
of
pipeline
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
If
a collection
is an
instance
of
organization
and
sporting goods hobby book and music stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an object
such that
the agent
is an
instance
of
selling
and
the object
is an
instance
of
object
and
the object
is
capable
of doing
sport
as a
instrument
or
the object
is
capable
of doing
making music
as a
instrument
or
the object
is an
instance
of
book
or
the object
is an
instance
of
music recording
or
the object
is an
instance
of
music text
and
the object
is a
patient
of
the agent
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2186-2196
If
a process
is an
instance
of
decoding
and
a cognitive agent
is an
agent
of
the process
,
then there exists
a formula
such that
the cognitive agent
know
s
the formula
or there exists
an object
such that
the object
is an
instrument
for
the process
and
the object
contain
s information
the formula
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
Agent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2826-2840
If
a corpuscular object
is an
instance
of
digital post
and
an agent
is an
instance
of
agent
and
a WebSite
is an
instance
of
WebSite
and
the corpuscular object
is a
component
of
the WebSite
and
the agent
created
the corpuscular object
and
the agent
is a
registered
user
of
the WebSite
,
then
the corpuscular object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
disseminating
and
the agent
is an
agent
of
the entity
and
the corpuscular object
is a
patient
of
the entity
and
the WebSite
is an
instrument
for
the entity
(=>
(
and
(
instance
?P
Encoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2174-2184
If
a process
is an
instance
of
encoding
and
a cognitive agent
is an
agent
of
the process
,
then there exists
a formula
such that
the cognitive agent
know
s
the formula
or there exists
an object
such that
the object
is an
instrument
for
the process
and
the object
contain
s information
the formula
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W)
(
and
(
instance
?K
Keeping
)
(
instance
?W
Water
)
(
patient
?K ?W)
(
capability
?K
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9158-9170
If
an object
is an
instance
of
plant
and
another object
is a
part
of
the object
,
then there exist
a kind of process
and
an entity
such that
a kind of process
is an
instance
of
keeping
and
the entity
is an
instance
of
water
and
the entity
is a
patient
of
the kind of process
and
the other object
is
capable
of doing
the kind of process
as a
instrument
and
the other object
is an
instance
of
PlantLeaf
or
the other object
is an
instance
of
PlantStem
(=>
(
and
(
instance
?P
Punching
)
(
agent
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
attribute
?H
Fist
)
(
part
?H ?A)
(
instrument
?P ?H))))
Mid-level-ontology.kif 6282-6291
If
a process
is an
instance
of
punching
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
hand
and
fist
is an
attribute
of
the object
and
the object
is a
part
of
the agent
and
the object
is an
instrument
for
the process
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 233-245
If
a physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
a kind of gun
and
an object
is an
instance
of
a kind of gun
and the
width
of
the physical
is
the length measure
1 and
the length measure
is
equal
to
the length measure
1,
then
the object
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
hasPurpose
?GUN
(
exists
(?SHOOTING)
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)
(
instrument
?SHOOTING ?GUN)))))
MilitaryDevices.kif 250-262
If
a physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
a kind of gun
and
another physical
is an
instance
of
a kind of gun
and the
width
of
the physical
is
the length measure
1 and
the length measure
is
equal
to
the length measure
1,
then
the other physical
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
shooting
and
the physical
is a
patient
of
the other entity
and
the other physical
is an
instrument
for
the other entity
(=>
(
and
(
instance
?PURCHASE
TransactionCollection
)
(
instance
?BUYING1
Buying
)
(
instance
?BUYING2
Buying
)
(
subProcess
?BUYING1 ?PURCHASE)
(
subProcess
?BUYING2 ?PURCHASE)
(
agent
?PURCHASE ?AGENT)
(
instrument
?PURCHASE ?INST))
(
and
(
agent
?BUYING1 ?AGENT)
(
agent
?BUYING2 ?AGENT)
(
instrument
?BUYING1 ?INST)
(
instrument
?BUYING2 ?INST)))
UXExperimentalTerms.kif 2149-2162
If
a process
is an
instance
of
collection of transactions
and
another process
is an
instance
of
buying
and
a third process
is an
instance
of
buying
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
an agent
is an
agent
of
the process
and
an object
is an
instrument
for
the process
,
then
the agent
is an
agent
of
the other process
and
the agent
is an
agent
of
the third process
and
the object
is an
instrument
for
the other process
and
the object
is an
instrument
for
the third 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
