Damaging
(endommager)
(=>
(
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
Physique
est une
instance
de
InfraRedGMissile
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
endommager
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
RadiatingInfrared
entit�
est un
agent
de
entit�
(=>
(
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
Physique
est une
instance
de
MolotovCocktail
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
combustion
entit�
est une
instance
de
endommager
physique
est un
instrument
pour
entit�
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?S
Shrapnel
)
(
hasPurpose
?S
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?S)))))
MilitaryDevices.kif 2120-2126
Physique
est une
instance
de
Shrapnel
physique
a pour
but
entit�
entit�
est une
instance
de
endommager
physique
est un
instrument
pour
entit�
(=>
(
instance
?TD
TornadoDamage
)
(
exists
(?T ?D)
(
and
(
instance
?T
Tornado
)
(
instance
?D
Damaging
)
(
causes
?T ?D)
(
patient
?D ?TD))))
Weather.kif 2070-2077
Entit�
est une
instance
de
TornadoDamage
processus
processus
processus
est une
instance
de
Tornado
processus
est une
instance
de
endommager
processus
cause
processus
entit�
est un
patient
de
processus
(=>
(
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
Physique
est une
instance
de
AntiArmorWeapon
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
endommager
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
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
Physique
est une
instance
de
AntiTankWeapon
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
endommager
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
ArmoredVehicle
(=>
(
instance
?WEAPON
Weapon
)
(
capability
Damaging
instrument
?WEAPON))
Merge.kif 16028-16030
Objet
est une
instance
de
arme
objet
est
capable
de faire
endommager
dans le r�le
instrument
(=>
(
instance
?WEAPON
Weapon
)
(
hasPurpose
?WEAPON
(
exists
(?D ?PATIENT)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?WEAPON)
(
patient
?D ?PATIENT)))))
Merge.kif 16032-16039
Physique
est une
instance
de
arme
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
endommager
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
(=>
(
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
Physique
est une
instance
de
Protecting
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
ARM
entit�
est une
instance
de
objet
objet
est un
patient
de
physique
entit�
ARM est une
sous
-classe de la
classe
d�crite par
entit�
physique
previent
l'occurrence de
entit�
ARM
hinders
physique
and
entit�
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
Entit�
est une
instance
de
SulphurDioxide
l'argument
entit�
entit�
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
a la
force
modale
de
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
AcidRainfall
est un
patient
de
processus
l'argument
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
endommager
processus
cause
entit�
processus
est un
instrument
pour
entit�
entit�
est une
instance
de
organisme
entit�
est une
instance
de
artefact stationnaire
entit�
est une
instance
de
Outdoors
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
a la
force
modale
de
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