Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damaging

Sigma KEE - Damaging
Damagingأذى, ضرر, تعْطِيل, تلف, تخْرِيب, عطب, عدم الصِّحّة, عُطْل, حالة غيْر سلِيْمة, فساد, تعفُّن, تسوُّس, أضرّ, أوْجع, ضرّ, آذى, أضعف, ألم, جرح, ساء, سبب ألما جسديا, ضر, عاق, آذَى, آلَمَ, وَعَكَ, اشْتكى مِن, عانى مِن, أثار, أخرج, أصاب, أطاق, أيد, إنتقم من, اشتمل, اضطر, بقي, تألم, تحمل, تدهور, ترك, تضمن, تكبد, جلب, حاز, حصل, حيز, خضع لعملية ما, دفع الثمن, زار, ساند, سمح, صير فى حالة, عاقب, عانى, عزز, غذى, فاز, فاز ب, قاسى, قدم برهان, قوى, كابد, كسب, لاقى, مثل ببراعة, مدد, ملك, نال, هيأ, واصل, داس, وَطَأَ, عذّب, تعذب, شوه, عذب, فسد, زَيَّفَ, اِنْتقص, حطّ, نزّل, نزّل مِن قدْر, نزّل مِن قِيمة, أخزى, أهان, انحط, جرده من, حت, حط من قدر, رخص, رخص الثمن, لوث, نزل رتبة, نقص قدره, أغْرق, فاض, غمر, أشبع, ...

appearance as argument number 1
-------------------------


(disjoint Damaging Repairing) Merge.kif 12069-12069
(documentation Damaging ChineseLanguage "这是当 agent 导致 patient 不再能够如愿般地正常操作 的 Process Class。") Merge.kif 12073-12074
(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 12070-12072
(subclass Damaging InternalChange) Merge.kif 12068-12068

appearance as argument number 2
-------------------------


(subclass Destruction Damaging) Merge.kif 12076-12076
(subclass ForestDamage Damaging) Geography.kif 2643-2643
(subclass Injuring Damaging) Merge.kif 10330-10330
(subclass Sabotage Damaging) MilitaryProcesses.kif 211-211
(termFormat ChineseLanguage Damaging "损坏") chinese_format.kif 1160-1160
(termFormat EnglishLanguage Damaging "damaging") english_format.kif 847-847
(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 371-371
(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 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 27797-27805
(=>
    (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 10344-10351
(<=>
    (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 27994-28008
(=>
    (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 1631-1643
(=>
    (and
        (instance ?ATTACK Attack)
        (agent ?ATTACK ?AGENT)
        (patient ?ATTACK ?OBJ))
    (hasPurposeForAgent ?ATTACK
        (exists (?DAMAGE)
            (and
                (instance ?DAMAGE Damaging)
                (patient ?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13276-13285
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13300-13309
(=>
    (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 607-619
(=>
    (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 1779-1793
(=>
    (and
        (instance ?REPAIR Repairing)
        (patient ?REPAIR ?OBJ))
    (exists (?DAMAGE)
        (and
            (instance ?DAMAGE Damaging)
            (patient ?DAMAGE ?OBJ)
            (earlier
                (WhenFn ?DAMAGE)
                (WhenFn ?REPAIR)))))
Merge.kif 12023-12031
(=>
    (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 630-643
(=>
    (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 3718-3758
(=>
    (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 27152-27163
(=>
    (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 27124-27136
(=>
    (holdsDuring ?T
        (attribute ?O Undamaged))
    (not
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?O)
                (earlier
                    (WhenFn ?D) ?T)))))
Mid-level-ontology.kif 27906-27914
(=>
    (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 15197-15205
(=>
    (instance ?EXPLOSION Explosion)
    (capability Damaging instrument ?EXPLOSION))
Mid-level-ontology.kif 13239-13241
(=>
    (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 975-989
(=>
    (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 1107-1120
(=>
    (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 998-1012
(=>
    (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 1078-1087
(=>
    (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 1277-1287
(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))
MilitaryDevices.kif 658-666
(=>
    (instance ?W AntiTankWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?V)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?V)
                (instance ?V ArmoredVehicle)))))
MilitaryDevices.kif 873-881
(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))
Merge.kif 16069-16071

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners