Damaging |
appearance as argument number 1 |
(disjoint Damaging Repairing) | Merge.kif 12317-12317 | |
(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 12318-12320 | |
(subclass Damaging InternalChange) | Merge.kif 12316-12316 |
appearance as argument number 2 |
(subclass Breaking Damaging) | Merge.kif 12544-12544 | |
(subclass Destruction Damaging) | Merge.kif 12322-12322 | |
(subclass ForestDamage Damaging) | Geography.kif 2715-2715 | |
(subclass Injuring Damaging) | Merge.kif 10461-10461 | |
(subclass Sabotage Damaging) | MilitaryProcesses.kif 220-220 | |
(termFormat ChineseLanguage Damaging "损坏") | chinese_format.kif 1160-1160 | |
(termFormat EnglishLanguage Damaging "damaging") | english_format.kif 1537-1537 | |
(termFormat FrenchLanguage Damaging "endommager") | french_format.kif 838-838 | |
(termFormat Hindi Damaging "kshati") | terms-hindi.txt 370-370 | |
(termFormat ItalianLanguage Damaging "Danneggiare") | terms-it.txt 373-373 | |
(termFormat JapaneseLanguage Damaging "損害を与える") | japanese_format.kif 2522-2522 | |
(termFormat PortugueseLanguage Damaging "Causar Dano") | portuguese_format.kif 790-790 | |
(termFormat cb Damaging "pagda-ot") | terms-cb.txt 375-375 | |
(termFormat cz Damaging "damaging") | terms-cz.txt 409-409 | |
(termFormat ro Damaging "stricãciune") | relations-ro.kif 859-859 | |
(termFormat tg Damaging "pinipinsala") | terms-tg.txt 374-374 |
antecedent |
(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged))) |
Mid-level-ontology.kif 30336-30344 | |
(=> (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 (instance ?INJ Damaging) (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)) (instance ?INJ Injuring)) |
Merge.kif 10483-10488 | |
(=> (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 |
(<=> (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 30553-30567 | |
(=> (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 13455-13464 | |
(=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA)))) |
Medicine.kif 80-94 | |
(=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT)))) ?AGENT)) |
Merge.kif 13477-13486 | |
(=> (and (instance ?DESTR PreciseDestruction) (patient ?DESTR ?PATIENT)) (hasPurpose ?DESTR (not (exists (?DAMAGING ?DAMAGED) (and (instance ?DAMAGING Damaging) (subProcess ?DAMAGING ?DESTR) (patient ?DAMAGING ?DAMAGED) (not (equal ?PATIENT ?DAMAGED))))))) |
MilitaryProcesses.kif 618-630 | |
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?DAMAGING) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1388-1406 | |
(=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (exists (?D) (and (instance ?D Damaging) (experiencer ?D ?H) (causes ?I ?D)))) |
Mid-level-ontology.kif 8818-8828 | |
(=> (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ)) (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ) (earlier (WhenFn ?DAMAGE) (WhenFn ?REPAIR))))) |
Merge.kif 12275-12283 | |
(=> (and (instance ?S Sunburn) (experiencer ?S ?H)) (exists (?D ?SKIN) (and (instance ?D Damaging) (instrument ?D Sol) (instance ?SKIN Skin) (part ?SKIN ?H) (patient ?D ?SKIN)))) |
Mid-level-ontology.kif 11223-11233 | |
(=> (and (instance ?T ShipContainer) (capacity ?T (MeasureFn ?X ?U)) (instance ?X UnitOfMass) (contains ?T ?O) (weight ?O (MeasureFn ?Y ?U)) (lessThan ?Y ?X)) (modalAttribute (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?T)))) Likely)) |
Transportation.kif 2820-2835 | |
(=> (and (instance ?WEAPON HighPrecisionWeapon) (instrument ?DESTR ?WEAPON) (patient ?DESTR ?PATIENT)) (hasPurpose ?WEAPON (not (exists (?DAMAGING ?DAMAGED) (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)) (exists (?HARM ?THIEF ?T ?L) (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 3695-3736 | |
(=> (attribute ?D DeviceDamaged) (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier (WhenFn ?DAM) (WhenFn ?R)))))))) |
Mid-level-ontology.kif 29729-29740 | |
(=> (attribute ?D DeviceNormal) (not (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier (WhenFn ?DAM) (WhenFn ?R))))))))) |
Mid-level-ontology.kif 29701-29713 | |
(=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility)) |
Geography.kif 5876-5885 | |
(=> (holdsDuring ?T (attribute ?H Antivaxxer)) (believes ?H (exists (?V ?D) (and (instance ?V Vaccination) (instance ?D Damaging) (causes ?V ?D))))) |
Medicine.kif 3821-3829 | |
(=> (holdsDuring ?T (attribute ?O Undamaged)) (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?O) (earlier (WhenFn ?D) ?T))))) |
Mid-level-ontology.kif 30451-30459 | |
(=> (instance ?AGENT BlisterAgent) (hasPurpose ?AGENT (exists (?DAMAGE ?TISSUE) (and (instance ?DAMAGE Damaging) (instance ?TISSUE Tissue) (patient ?DAMAGE ?TISSUE))))) |
WMD.kif 483-490 | |
(=> (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 18104-18112 | |
(=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION)) |
Mid-level-ontology.kif 16061-16063 | |
(=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 10474-10481 | |
(=> (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 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |