instrument
(=>
(
instance
?AC
AnimalController
)
(
hasPurpose
?AC
(
exists
(?G ?A)
(
and
(
instance
?G
Guiding
)
(
instrument
?G ?AC)
(
instance
?A
Animal
)
(
patient
?G ?A)))))
Mid-level-ontology.kif 3202-3210
If
a physical
is an
instance
of
animal controller
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
guiding
and
the physical
is an
instrument
for
the entity
and
the other entity
is an
instance
of
animal
and
the other entity
is a
patient
of
the entity
(=>
(
instance
?ACC
AirConditioningCompressor
)
(
hasPurpose
?ACC
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ACC)))))
Cars.kif 1993-1999
If
a physical
is an
instance
of
air conditioning compressor
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
cooling
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACC
AirConditioningCondenser
)
(
hasPurpose
?ACC
(
exists
(?C)
(
and
(
instance
?C
Condensing
)
(
instrument
?C ?ACC)))))
Cars.kif 2045-2051
If
a physical
is an
instance
of
air conditioning condenser
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
condensing
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACC
AirConditioningCondenser
)
(
hasPurpose
?ACC
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ACC)))))
Cars.kif 2037-2043
If
a physical
is an
instance
of
air conditioning condenser
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
cooling
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACE
AirConditioningEvaporator
)
(
hasPurpose
?ACE
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ACE)))))
Cars.kif 2061-2067
If
a physical
is an
instance
of
air conditioning evaporator
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
cooling
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACE
AirConditioningEvaporator
)
(
hasPurpose
?ACE
(
exists
(?E)
(
and
(
instance
?E
Evaporating
)
(
instrument
?E ?ACE)))))
Cars.kif 2069-2075
If
a physical
is an
instance
of
air conditioning evaporator
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
evaporating
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACTION
TouchSurfaceDoubleFingerSlide
)
(
exists
(?FINGER1 ?FINGER2)
(
and
(
instrument
?ACTION ?FINGER1)
(
instance
?FINGER1
Finger
)
(
instrument
?ACTION ?FINGER2)
(
not
(
equal
?FINGER1 ?FINGER2))
(
instance
?FINGER2
Finger
))))
ComputerInput.kif 1567-1575
If
a process
is an
instance
of
touch surface double finger slide
,
then there exist
an object
and
another object
such that
the object
is an
instrument
for
the process
and
the object
is an
instance
of
finger
and
the other object
is an
instrument
for
the process
and
the object
is not
equal
to
the other object
and
the other object
is an
instance
of
finger
(=>
(
instance
?AERATOR
Aerator
)
(
hasPurpose
?AERATOR
(
exists
(?COMBINE ?AIR)
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?AIR)
(
instance
?AIR
Air
)
(
instrument
?COMBINE ?AERATOR)))))
Mid-level-ontology.kif 2349-2357
If
a physical
is an
instance
of
aerator
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
combining
and
the other entity
is a
resource
for
the entity
and
the other entity
is an
instance
of
air
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?AG
AnimalGuiding
)
(
exists
(?A ?C ?H)
(
and
(
instance
?A
Animal
)
(
agent
?AG ?H)
(
instance
?C
Carrying
)
(
agent
?C ?A)
(
objectTransferred
?C ?H)
(
instrument
?AG ?A))))
Mid-level-ontology.kif 4788-4797
If
a process
is an
instance
of
animal guiding
,
then there exist
an agent
,
a transfer
and
another agent
such that
the agent
is an
instance
of
animal
and
the other agent
is an
agent
of
the process
and
the transfer
is an
instance
of
carrying
and
the agent
is an
agent
of
the transfer
and the object transferred in
the transfer
is
the other agent
and
the agent
is an
instrument
for
the process
(=>
(
instance
?AGENT
ChemicalAgent
)
(
not
(
exists
(?ORGANISM ?PROCESS ?SUBSTANCE)
(
and
(
instance
?ORGANISM
Organism
)
(
instance
?PROCESS
BiologicalProcess
)
(
instrument
?PROCESS ?ORGANISM)
(
result
?PROCESS ?SUBSTANCE)
(
copy
?SUBSTANCE ?AGENT)))))
WMD.kif 464-473
If
an object
is an
instance
of
chemical agent
,
then there don't exist
another object
,
a process
and
a third object
such that
the other object
is an
instance
of
organism
and
the process
is an
instance
of
biological process
and
the other object
is an
instrument
for
the process
and
the third object
is a
result
of
the process
and
the third object
is a
copy
of
the object
(=>
(
instance
?AGENT
LifeThreateningAgent
)
(
capability
Killing
instrument
?AGENT))
WMD.kif 1013-1015
If
an object
is an
instance
of
life threatening agent
,
then
the object
is
capable
of doing
killing
as a
instrument
(=>
(
instance
?AMR
AutonomousMobileRobot
)
(
hasPurpose
?AMR
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?AMR)
(
patient
?T ?AMR)
(
instrument
?T ?AMR)
(
experiencer
?T ?AMR)
(
not
(
exists
(?G ?A)
(
and
(
instance
?G
Guiding
)
(
patient
?G ?AMR)
(
agent
?G ?A)
(
or
(
instance
?A
Human
)
(
instance
?A
Device
)))))))))
engineering.kif 966-984
If
a physical
is an
instance
of
autonomous mobile robot
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
translocation
and
the physical
is an
agent
of
the entity
and
the physical
is a
patient
of
the entity
and
the physical
is an
instrument
for
the entity
and
the physical
experience
s
the entity
and there don't exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
guiding
and
the physical
is a
patient
of
the other entity
and
the third entity
is an
agent
of
the other entity
and
the third entity
is an
instance
of
human
or
the third entity
is an
instance
of
device
(=>
(
instance
?ANTENNA
Antenna
)
(
capability
RadioEmission
instrument
?ANTENNA))
Mid-level-ontology.kif 17215-17217
If
an object
is an
instance
of
antenna
,
then
the object
is
capable
of doing
radio emission
as a
instrument
(=>
(
instance
?AP
AirPump
)
(
hasPurpose
?AP
(
exists
(?T ?A)
(
and
(
instance
?T
Transportation
)
(
instance
?A
Air
)
(
instrument
?T ?AP)
(
patient
?T ?A)))))
Mid-level-ontology.kif 27165-27173
If
a physical
is an
instance
of
air pump
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the other entity
is an
instance
of
air
and
the physical
is an
instrument
for
the entity
and
the other entity
is a
patient
of
the entity
(=>
(
instance
?AR
AirReconnaissance
)
(
exists
(?AIRCRAFT)
(
and
(
instance
?AIRCRAFT
Aircraft
)
(
instrument
?AR ?AIRCRAFT))))
MilitaryProcesses.kif 736-741
If
a process
is an
instance
of
air reconnaissance
,
then there exists
an object
such that
the object
is an
instance
of
aircraft
and
the object
is an
instrument
for
the process
(=>
(
instance
?AR
AmphibiousReconnaissance
)
(
exists
(?AMPHCRAFT)
(
and
(
instance
?AMPHCRAFT
AmphibiousVehicle
)
(
instrument
?AR ?AMPHCRAFT))))
MilitaryProcesses.kif 773-778
If
a process
is an
instance
of
amphibious reconnaissance
,
then there exists
an object
such that
the object
is an
instance
of
amphibious vehicle
and
the object
is an
instrument
for
the process
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 18368-18373
If
an object
is an
instance
of
game artifact
,
then there exists
a kind of process
such that
a kind of process
is a
subclass
of
game
and
the object
is
capable
of doing
the kind of process
as a
instrument
(=>
(
instance
?ATV
AllTerrainVehicle
)
(
hasPurpose
?ATV
(
exists
(?D ?L)
(
and
(
instance
?D
Transportation
)
(
instrument
?D ?ATV)
(
holdsDuring
(
WhenFn
?D)
(
orientation
?ATV ?L
On
))
(
not
(
instance
?L
Roadway
))))))
Cars.kif 4829-4839
If
a physical
is an
instance
of
all_terrain vehicle
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the physical
is an
instrument
for
the entity
and
the physical
is
on
to
the other entity
holds
during
the
time
of existence of
the entity
and
the other entity
is not an
instance
of
roadway
(=>
(
instance
?B
Baking
)
(
exists
(?O)
(
and
(
instance
?O
Oven
)
(
instrument
?B ?O))))
Food.kif 1468-1473
If
a process
is an
instance
of
baking
,
then there exists
an object
such that
the object
is an
instance
of
oven
and
the object
is an
instrument
for
the process
(=>
(
instance
?B
Ballot
)
(
hasPurpose
?B
(
exists
(?V)
(
and
(
instance
?V
Voting
)
(
instrument
?V ?B)))))
Mid-level-ontology.kif 15870-15876
If
a physical
is an
instance
of
ballot
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
voting
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?B
Bandage
)
(
hasPurpose
?B
(
exists
(?TP ?C)
(
and
(
instance
?TP
TherapeuticProcess
)
(
instance
?C
Covering
)
(
subProcess
?C ?TP)
(
instrument
?C ?B)))))
Mid-level-ontology.kif 6627-6635
If
a physical
is an
instance
of
bandage
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
therapeutic process
and
the other entity
is an
instance
of
covering
and
the other entity
is a
subprocess
of
the entity
and
the physical
is an
instrument
for
the other entity
(=>
(
instance
?B
BaseballBat
)
(
hasPurpose
?B
(
exists
(?H)
(
and
(
instance
?H
BaseballHit
)
(
instrument
?H ?B)))))
Sports.kif 652-658
If
a physical
is an
instance
of
baseball bat
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
baseball hit
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?B
Baton
)
(
hasPurpose
?B
(
exists
(?M ?G)
(
and
(
instance
?M
MusicalPerformance
)
(
instance
?G
Guiding
)
(
subProcess
?G ?M)
(
instrument
?G ?B)))))
Mid-level-ontology.kif 3316-3324
If
a physical
is an
instance
of
baton
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
musical performance
and
the other entity
is an
instance
of
guiding
and
the other entity
is a
subprocess
of
the entity
and
the physical
is an
instrument
for
the other entity
(=>
(
instance
?B
Bolt
)
(
hasPurpose
?B
(
exists
(?A ?N)
(
and
(
instance
?A
Attaching
)
(
instance
?N
MechanicalNut
)
(
instrument
?A ?B)
(
instrument
?A ?N)))))
Cars.kif 4233-4241
If
a physical
is an
instance
of
bolt
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
attaching
and
the other entity
is an
instance
of
nut
and
the physical
is an
instrument
for
the entity
and
the other entity
is an
instrument
for
the entity
(=>
(
instance
?B
Bomber
)
(
hasPurpose
?B
(
exists
(?T ?D)
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?B)
(
patient
?T ?D)
(
instance
?D
ExplosiveDevice
)))))
Military.kif 254-262
If
a physical
is an
instance
of
bomber
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the physical
is an
instrument
for
the entity
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
explosive device
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
