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 | |
(=> (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 | |
(=> (instance ?S Shrapnel) (hasPurpose ?S (exists (?D) (and (instance ?D Damaging) (instrument ?D ?S))))) |
MilitaryDevices.kif 2120-2126 | |
(=> (instance ?TD TornadoDamage) (exists (?T ?D) (and (instance ?T Tornado) (instance ?D Damaging) (causes ?T ?D) (patient ?D ?TD)))) |
Weather.kif 2066-2073 | |
(=> (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 | |
(=> (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 | |
(=> (instance ?WEAPON Weapon) (capability Damaging instrument ?WEAPON)) |
Merge.kif 16050-16052 | |
(=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 16054-16061 | |
(=> (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 | |
(=> (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 | |
(=> (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 |