Damaging
(Danneggiare)
(=>
(
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
Entit�Concreta
è un'
istanza
di
InfraRedGMissile
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
RadiatingInfrared
Entit�
è un
agente
di
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
Entit�Concreta
è un'
istanza
di
MolotovCocktail
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�
è un'
istanza
di
Danneggiare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?S
Shrapnel
)
(
hasPurpose
?S
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?S)))))
MilitaryDevices.kif 2120-2126
Entit�Concreta
è un'
istanza
di
Shrapnel
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
instance
?TD
TornadoDamage
)
(
exists
(?T ?D)
(
and
(
instance
?T
Tornado
)
(
instance
?D
Damaging
)
(
causes
?T ?D)
(
patient
?D ?TD))))
Weather.kif 2066-2073
Entit�
è un'
istanza
di
TornadoDamage
Processo
Processo
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Danneggiare
Processo
causa
s
Processo
Entit�
è un
paziente
di
Processo
(=>
(
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
Entit�Concreta
è un'
istanza
di
AntiArmorWeapon
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
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
Entit�Concreta
è un'
istanza
di
AntiTankWeapon
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
ArmoredVehicle
(=>
(
instance
?WEAPON
Weapon
)
(
capability
Damaging
instrument
?WEAPON))
Merge.kif 16050-16052
Oggetto
è un'
istanza
di
Arma
Oggetto
è
capace
di fare
Danneggiare
nel ruolo
instrument
(=>
(
instance
?WEAPON
Weapon
)
(
hasPurpose
?WEAPON
(
exists
(?D ?PATIENT)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?WEAPON)
(
patient
?D ?PATIENT)))))
Merge.kif 16054-16061
Entit�Concreta
è un'
istanza
di
Arma
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
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 18420-18441
Entit�Concreta
è un'
istanza
di
Protecting
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
ARM
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Entit�Concreta
Entit�
ARM è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�Concreta
impedisce
l'occorrenza di
Entit�
ARM
hinders
Entit�Concreta
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�
è un'
istanza
di
SulphurDioxide
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
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
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Danneggiare
Processo
causa
s
Entit�
Processo
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
ManufattoStatico
Entit�
è un'
istanza
di
Outdoors
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
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