instrument
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
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 2830-2844
If
a corpuscular object
is an
instance
of
digital post
and
an agent
is an
instance
of
agent
and
a web site
is an
instance
of
web site
and
the corpuscular object
is a
component
of
the web site
and
the agent
created
the corpuscular object
and
the agent
is a
registered
user
of
the web site
,
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 web site
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 2169-2179
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 ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
If
an object
is an
instance
of
plant
and
another object
is a
part
of
the object
,
then there exist
a process
,
an entity
and
another kind of process
such that
the process
is an
instance
of
another kind of process
and
the other kind of process
is a
subclass
of
keeping
and
the entity
is an
instance
of
freshwater
and
the entity
is a
patient
of
the process
and
the other object
is
capable
of doing
the other kind of process
as a
instrument
and
the other object
is an
instance
of
plant leaf
or
the other object
is an
instance
of
plant stem
(=>
(
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 6622-6631
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
an entity
such that
the entity
is an
instance
of
shooting
and
the physical
is a
patient
of
the entity
and
the other physical
is an
instrument
for
the 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 1940-1953
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
(=>
(
and
(
instance
?S
Sunburn
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
Damaging
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11005-11015
If
a process
is an
instance
of
sunburn
and
an agent
experience
s
the process
,
then there exist
another process
and
the process
KIN such that
the other process
is an
instance
of
damaging
and
sol
is an
instrument
for
the other process
and
the process
KIN is an
instance
of
skin
and
the process
KIN is a
part
of
the agent
and
the process
KIN is a
patient
of
the other process
(=>
(
and
(
instance
?S
Tanning
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
RadiatingUltraviolet
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11023-11033
If
a process
is an
instance
of
tanning
and
an agent
experience
s
the process
,
then there exist
another process
and
the process
KIN such that
the other process
is an
instance
of
radiating ultraviolet
and
sol
is an
instrument
for
the other process
and
the process
KIN is an
instance
of
skin
and
the process
KIN is a
part
of
the agent
and
the process
KIN is a
patient
of
the other process
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
If
a wearable item
is an
instance
of
safety harness
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the entity
and
the animal
is a
patient
of
the entity
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
ArtilleryCannon
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
(
UnionFn
Missile
Grenade
)))))
MilitaryDevices.kif 179-188
If
a process
is an
instance
of
shooting
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
artillery cannon
,
then there exists
another object
such that
the other object
is an
instrument
for
the process
and
the other object
is an
instance
of the
union
of
missile
and
grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
If
a process
is an
instance
of
shooting
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
grenade launcher
,
then there exists
another object
such that
the other object
is an
instrument
for
the process
and
the other object
is an
instance
of
grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
If
a process
is an
instance
of
shooting
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
mortar gun
,
then there exists
another object
such that
the other object
is an
instrument
for
the process
and
the other object
is an
instance
of
grenade
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
If
a process
is an
instance
of impairment in
another kind of process
and
an object
is an
instrument
for
the process
,
then there exists
the object
2 such that
the object
2 is not
equal
to
the object
and
the object
2 is
capable
of doing
another kind of process
as a
instrument
and
the object
is not
capable
of doing
the other kind of process
as a
instrument
(=>
(
and
(
instance
?System
HardwareSystem
)
(
component
?Network ?System)
(
instance
?Event
DataTransfer
)
(
origin
?Event ?System))
(
and
(
instance
?Network
ComputerNetwork
)
(
instrument
?Event ?Network)))
QoSontology.kif 326-334
If
a corpuscular object
is an
instance
of
hardware system
and
another corpuscular object
is a
component
of
the corpuscular object
and
a process
is an
instance
of
data transfer
and
the process
originate
s at
the corpuscular object
,
then
the other corpuscular object
is an
instance
of
computer network
and
the other corpuscular object
is an
instrument
for
the process
(=>
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?D)
(
instance
?D
Pump
))
(
exists
(?F)
(
and
(
instrument
?T ?F)
(
attribute
?F
Fluid
))))
Mid-level-ontology.kif 15451-15459
If
a process
is an
instance
of
transportation
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
pump
,
then there exists
another object
such that
the other object
is an
instrument
for
the process
and
fluid
is an
attribute
of
the other object
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToBusiness
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
BusinessAccount
))))
UXExperimentalTerms.kif 1727-1746
If
an object
is an
instance
of
financial transaction
and
business to business transaction
is an
attribute
of
the object
,
then there exist
an user account
,
another user account
,, ,
an agent
,, ,
another agent
and
a web site
such that
the user account
is an
instance
of
user account
and
the other user account
is an
instance
of
user account
and
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the web site
is an
instrument
for
the object
and
the agent
has
account
the user account
and
the other agent
has
account
the other user account
and
the user account
is an
account
at
the web site
and
the other user account
is an
account
at
the web site
and
business account
is an
attribute
of
the user account
and
business account
is an
attribute
of
the other user account
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1759-1778
If
an object
is an
instance
of
financial transaction
and
business to consumer transaction
is an
attribute
of
the object
,
then there exist
an user account
,
another user account
,, ,
an agent
,, ,
another agent
and
a web site
such that
the user account
is an
instance
of
user account
and
the other user account
is an
instance
of
user account
and
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the web site
is an
instrument
for
the object
and
the agent
has
account
the user account
and
the other agent
has
account
the other user account
and
the user account
is an
account
at
the web site
and
the other user account
is an
account
at
the web site
and
business account
is an
attribute
of
the user account
and
consumer account
is an
attribute
of
the other user account
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
ConsumerAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1791-1810
If
an object
is an
instance
of
financial transaction
and
consumer to consumer transaction
is an
attribute
of
the object
,
then there exist
an user account
,
another user account
,, ,
an agent
,, ,
another agent
and
a web site
such that
the user account
is an
instance
of
user account
and
the other user account
is an
instance
of
user account
and
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the web site
is an
instrument
for
the object
and
the agent
has
account
the user account
and
the other agent
has
account
the other user account
and
the user account
is an
account
at
the web site
and
the other user account
is an
account
at
the web site
and
consumer account
is an
attribute
of
the user account
and
consumer account
is an
attribute
of
the other user account
(=>
(
and
(
instance
?VEHICLE
CargoVehicle
)
(
instance
?O
Human
))
(
not
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?O)
(
instrument
?T ?VEHICLE)))
Possibility
)))
Transportation.kif 1766-1776
If
an entity
is an
instance
of
cargo vehicle
and
another entity
is an
instance
of
human
,
then the statement there exists
a third entity
such that
the third entity
is an
instance
of
transportation
and
the other entity
is a
patient
of
the third entity
and
the entity
is an
instrument
for
the third entity
doesn't have the
modal
force
of
possibility
(=>
(
and
(
instance
?VEHICLE
PassengerVehicle
)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
))
Transportation.kif 1748-1758
If
an entity
is an
instance
of
passenger vehicle
and
another entity
is an
instance
of
human
,
then the statement there exists
a third entity
such that
the third entity
is an
instance
of
transportation
and
the other entity
is a
patient
of
the third entity
and
the entity
is an
instrument
for
the third entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?VEHICLE
TransportationDevice
)
(
instance
?TRIP
(
TripFn
?VEHICLE)))
(
instrument
?TRIP ?VEHICLE))
Transportation.kif 1591-1595
If
a vehicle
is an
instance
of
transportation device
and
a process
is an
instance
of the
trip
of
the vehicle
,
then
the vehicle
is an
instrument
for
the process
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
If
a process
is an
instance
of
weightlifting
and
an agent
is an
agent
of
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
anaerobic exercise device
and
the entity
is an
instrument
for
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
BluRayDisc
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
405
Nanometer
)))))
Media.kif 1192-1202
If
an entity
is an
instance
of
blu ray disc
and
a process
is an
instance
of
decoding
and
the entity
is a
patient
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
radiating light
and
the object
is an
instrument
for
the process
and the
wavelength
of
the object
is 405
nanometer
(s)
(=>
(
and
(
instance
?X
CompactDisc
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
780
Nanometer
)))))
Media.kif 1156-1166
If
an entity
is an
instance
of
compact disc
and
a process
is an
instance
of
decoding
and
the entity
is a
patient
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
radiating light
and
the object
is an
instrument
for
the process
and the
wavelength
of
the object
is 780
nanometer
(s)
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
