Damaging
(Causar Dano)
(=>
(
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
Fisico
e' uma
instancia
de
InfraRedGMissile
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
RadiatingInfrared
Entidade
e' um
agente
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
MolotovCocktail
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Combustao
Entidade
e' uma
instancia
de
Causar Dano
Fisico
e' um
instrumento
para
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?S
Shrapnel
)
(
hasPurpose
?S
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?S)))))
MilitaryDevices.kif 2120-2126
Fisico
e' uma
instancia
de
Shrapnel
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?TD
TornadoDamage
)
(
exists
(?T ?D)
(
and
(
instance
?T
Tornado
)
(
instance
?D
Damaging
)
(
causes
?T ?D)
(
patient
?D ?TD))))
Weather.kif 2070-2077
Entidade
e' uma
instancia
de
TornadoDamage
Processo
Processo
Processo
e' uma
instancia
de
Tornado
Processo
e' uma
instancia
de
Causar Dano
Processo
causa
Processo
Entidade
e' um
patient
de
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
Fisico
e' uma
instancia
de
AntiArmorWeapon
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
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
Fisico
e' uma
instancia
de
AntiTankWeapon
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
ArmoredVehicle
(=>
(
instance
?WEAPON
Weapon
)
(
capability
Damaging
instrument
?WEAPON))
Merge.kif 16028-16030
Objeto
e' uma
instancia
de
Arma
Objeto
e'
capaz
de fazer
Causar Dano
no role
instrument
(=>
(
instance
?WEAPON
Weapon
)
(
hasPurpose
?WEAPON
(
exists
(?D ?PATIENT)
(
and
(
instance
?D
Damaging
)
(
instrument
?D ?WEAPON)
(
patient
?D ?PATIENT)))))
Merge.kif 16032-16039
Fisico
e' uma
instancia
de
Arma
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Protecting
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
ARM
Entidade
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Fisico
Entidade
ARM e' uma
sub
-classe de a
classe
descrita por
Entidade
Fisico
proibe
a ocurrencia de
Entidade
ARM
hinders
Fisico
and
Entidade
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
Entidade
e' uma
instancia
de
SulphurDioxide
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
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
e' um
patient
de
Processo
o argumento
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Processo
causa
Entidade
Processo
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Artefato Estacionario
Entidade
e' uma
instancia
de
Outdoors
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
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