Damaging
(damaging)
(=>
(
instance
?M
InfraRedGMissile
)
(
hasPurpose
?M
(
exists
(?DAMAGE ?OBJ ?RADIATION)
(
and
(
instance
?DAMAGE
Damaging
)
(
instrument
?DAMAGE ?M)
(
patient
?DAMAGE ?OBJ)
(
instance
?RADIATION
RadiatingInfrared
)
(
agent
?RADIATION ?OBJ)))))
MilitaryDevices.kif 1079-1088
If
a physical
is an
instance
of
infra redG missile
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
damaging
and
the physical
is an
instrument
for
the entity
and
the other entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
radiating infrared
and
the other entity
is an
agent
of
the third entity
(=>
(
instance
?MC
MolotovCocktail
)
(
hasPurpose
?MC
(
exists
(?COMB ?DAMAGE ?OBJ)
(
and
(
instance
?COMB
Combustion
)
(
instance
?DAMAGE
Damaging
)
(
instrument
?COMB ?MC)
(
instrument
?DAMAGE ?MC)
(
patient
?COMB ?OBJ)
(
patient
?DAMAGE ?OBJ)))))
MilitaryDevices.kif 1278-1288
If
a physical
is an
instance
of
molotov cocktail
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
burning
and
the other entity
is an
instance
of
damaging
and
the physical
is an
instrument
for
the entity
and
the physical
is an
instrument
for
the other entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is a
patient
of
the other entity
(=>
(
instance
?S
Shrapnel
)
(
hasPurpose
?S
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?S)))))
MilitaryDevices.kif 2120-2126
If
a physical
is an
instance
of
shrapnel
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
damaging
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?TD
TornadoDamage
)
(
exists
(?T ?D)
(
and
(
instance
?T
Tornado
)
(
instance
?D
Damaging
)
(
causes
?T ?D)
(
patient
?D ?TD))))
Weather.kif 2070-2077
If
an entity
is an
instance
of
tornado damage
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
tornado
and
the other process
is an
instance
of
damaging
and
the process
cause
s
the other process
and
the entity
is a
patient
of
the other process
(=>
(
instance
?W
AntiArmorWeapon
)
(
hasPurpose
?W
(
exists
(?DAMAGING ?ARMOR)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?W)
(
patient
?DAMAGING ?ARMOR)
(
instance
?ARMOR
Armor
)))))
MilitaryDevices.kif 659-667
If
a physical
is an
instance
of
anti armor weapon
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
damaging
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
armor
(=>
(
instance
?W
AntiTankWeapon
)
(
hasPurpose
?W
(
exists
(?DAMAGING ?V)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?W)
(
patient
?DAMAGING ?V)
(
instance
?V
ArmoredVehicle
)))))
MilitaryDevices.kif 874-882
If
a physical
is an
instance
of
anti tank weapon
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
damaging
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
armored vehicle
(=>
(
instance
?WEAPON
Weapon
)
(
capability
Damaging
instrument
?WEAPON))
Merge.kif 16028-16030
If
an object
is an
instance
of
weapon
,
then
the object
is
capable
of doing
damaging
as a
instrument
(=>
(
instance
?WEAPON
Weapon
)
(
hasPurpose
?WEAPON
(
exists
(?D ?PATIENT)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?WEAPON)
(
patient
?D ?PATIENT)))))
Merge.kif 16032-16039
If
a physical
is an
instance
of
weapon
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
damaging
and
the physical
is an
instrument
for
the entity
and
the other entity
is a
patient
of
the entity
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
If
a physical
is an
instance
of
protecting
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the third entity
ARM such that
the entity
is an
instance
of
object
and
object
is a
patient
of
the physical
and
the third entity
ARM is a
subclass
of the
class
described by
the third entity
and
the physical
prevent
s the occurrence of
the third entity
ARM or
the physical
hinders
the third entity
ARM
(=>
(
instance
?Y
SulphurDioxide
)
(
modalAttribute
(
exists
(?D ?P)
(
and
(
instance
?D
Damaging
)
(
instance
?P
Human
)
(
instrument
?D ?Y)
(
patient
?D ?P)))
Possibility
))
Geography.kif 7189-7197
If
an entity
is an
instance
of
sulphur dioxide
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
damaging
and
the third entity
is an
instance
of
human
and
the entity
is an
instrument
for
the other entity
and
the third entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
(=>
(
patient
?RAIN
AcidRainfall
)
(
modalAttribute
(
exists
(?D ?O ?X ?L)
(
and
(
instance
?D
Damaging
)
(
causes
?RAIN ?D)
(
instrument
?D ?RAIN)
(
instance
?O
Organism
)
(
instance
?X
StationaryArtifact
)
(
instance
?L
Outdoors
)
(
located
?X ?L)
(
located
?O ?L)
(
or
(
patient
?D ?O)
(
patient
?D ?X))))
Possibility
))
Geography.kif 2519-2534
If
acid rainfall
is a
patient
of
a process
,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
damaging
and
the process
cause
s
the entity
and
the process
is an
instrument
for
the entity
and
the other entity
is an
instance
of
organism
and
the third entity
is an
instance
of
stationary artifact
and
the fourth entity
is an
instance
of
outdoors
and
the third entity
is
located
at
the fourth entity
and
the other entity
is
located
at
the fourth entity
and
the other entity
is a
patient
of
the entity
or
the third entity
is a
patient
of
the entity
has the
modal
force
of
possibility
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