| Damaging | |
| appearance as argument number 1 |
|
|
| (disjoint Damaging Repairing) | Merge.kif 11424-11424 | |
| (documentation Damaging ChineseLanguage "这是当 agent 导致 patient 不再能够如愿般地正常操作 的 Process Class。") | chinese_format.kif 3153-3154 | |
| (documentation Damaging EnglishLanguage "The Class of Processes where the agent brings about a situation where the patient no longer functions normally or as intended.") | Merge.kif 11425-11427 | |
| (subclass Damaging InternalChange) | Merge.kif 11423-11423 |
| appearance as argument number 2 |
|
|
| (subclass Breaking Damaging) | Merge.kif 11602-11602 | |
| (subclass Destruction Damaging) | Merge.kif 11429-11429 | |
| (subclass ForestDamage Damaging) | Geography.kif 2655-2655 | |
| (subclass Injuring Damaging) | Merge.kif 9835-9835 | |
| (subclass Sabotage Damaging) | MilitaryProcesses.kif 220-220 | |
| (termFormat ChineseLanguage Damaging "损坏") | chinese_format.kif 1160-1160 | |
| (termFormat EnglishLanguage Damaging "damaging") | english_format.kif 1542-1542 |
| antecedent |
|
|
| (=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged))) |
Mid-level-ontology.kif 28276-28284 | |
| (=> (and (instance ?DAMAGE Damaging) (agent ?DAMAGE ?PROP) (destination ?DAMAGE ?DEST) (instance ?DEST CognitiveAgent)) (believes ?DEST (attribute ?PROP Dangerous))) |
MilitaryPersons.kif 228-235 | |
| (=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin)) |
WMD.kif 180-185 | |
| (=> (and (weaponCarryingCapability ?MV ?WC ?COUNT) (instance ?WEAPON ?WC) (capability ?PC ?ROLE ?WEAPON) (or (subclass ?PC Shooting) (subclass ?PC Damaging))) (capability ?PC ?ROLE ?MV)) |
MilitaryDevices.kif 35-43 |
| consequent |
|
|
| (<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 9848-9855 | |
| (<=> (manner ?P Harmless) (and (not (instance ?P Damaging)) (not (exists (?P2) (and (instance ?P2 Damaging) (subProcess ?P2 ?P)))) (not (exists (?P2) (and (instance ?P2 Damaging) (causes ?P ?P2)))))) |
Mid-level-ontology.kif 28476-28490 | |
| (=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ)))))) |
MilitaryDevices.kif 1632-1644 | |
| (=> (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?OBJ)) (hasPurposeForAgent ?ATTACK (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ))) ?AGENT)) |
Merge.kif 12479-12488 | |
| (=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT)))) ?AGENT)) |
Merge.kif 12501-12510 | |
| (=> (and (instance ?DESTR PreciseDestruction) (patient ?DESTR ?PATIENT)) (hasPurpose ?DESTR (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (subProcess ?DAMAGING ?DESTR) (patient ?DAMAGING ?DAMAGED) (not (equal ?PATIENT ?DAMAGED))))))) |
MilitaryProcesses.kif 618-630 | |
| (=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1780-1794 | |
| (=> (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ)) (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ) (earlier (WhenFn ?DAMAGE) (WhenFn ?REPAIR))))) |
Merge.kif 11382-11390 | |
| (=> (and (instance ?WEAPON HighPrecisionWeapon) (instrument ?DESTR ?WEAPON) (patient ?DESTR ?PATIENT)) (hasPurpose ?WEAPON (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (subProcess ?DAMAGING ?DESTR) (patient ?DAMAGING ?DAMAGED) (not (equal ?PATIENT ?DAMAGED))))))) |
MilitaryProcesses.kif 641-654 | |
| (=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM)))))))))) |
Cars.kif 3685-3725 | |
| (=> (attribute ?D DeviceDamaged) (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier ?D ?R))))))) |
Mid-level-ontology.kif 27631-27642 | |
| (=> (attribute ?D DeviceNormal) (not (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier ?D ?R)))))))) |
Mid-level-ontology.kif 27603-27615 | |
| (=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility)) |
Geography.kif 5567-5576 | |
| (=> (holdsDuring ?T (attribute ?O Undamaged)) (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?O) (earlier (WhenFn ?D) ?T))))) |
Mid-level-ontology.kif 28385-28393 | |
| (=> (instance ?AGENT BlisterAgent) (hasPurpose ?AGENT (exists (?DAMAGE ?TISSUE) (and (instance ?DAMAGE Damaging) (instance ?TISSUE Tissue) (patient ?DAMAGE ?TISSUE))))) |
WMD.kif 478-485 | |
| (=> (instance ?ATTACK BiochemicalAttack) (hasPurpose ?ATTACK (exists (?DAMAGE ?ORGANISM) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?ORGANISM) (causes ?ATTACK ?DAMAGE) (instance ?ORGANISM Organism))))) |
WMD.kif 70-78 | |
| (=> (instance ?ED ExplosiveDevice) (hasPurpose ?ED (exists (?E ?D) (and (instance ?E Explosion) (instrument ?E ?ED) (causes ?E ?D) (instance ?D Damaging))))) |
Mid-level-ontology.kif 15526-15534 | |
| (=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION)) |
Mid-level-ontology.kif 13526-13528 | |
| (=> (instance ?M AirAttackMissile) (hasPurpose ?M (exists (?OBJ ?REGION ?DAMAGE) (and (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?DAMAGE Damaging) (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?DAMAGE)) (and (located ?M ?REGION) (located ?OBJ ?REGION))))))) |
MilitaryDevices.kif 976-990 | |
| (=> (instance ?M BeamRidingGMissile) (hasPurpose ?M (exists (?DAMAGE ?OBJ ?RADIATION ?INST) (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?RADIATION Radiating) (instrument ?RADIATION ?INST) (or (instance ?INST Radar) (instance ?INST LightFixture)) (patient ?RADIATION ?OBJ))))) |
MilitaryDevices.kif 1108-1121 | |
| (=> (instance ?M GroundAttackMissile) (hasPurpose ?M (exists (?OBJ ?REGION ?DAMAGE) (and (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?DAMAGE Damaging) (instance ?REGION GeographicArea) (holdsDuring (BeginFn (WhenFn ?DAMAGE)) (and (located ?M ?REGION) (located ?OBJ ?REGION))))))) |
MilitaryDevices.kif 999-1013 | |
| (=> (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 ?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 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|