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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damaging

Sigma KEE - Damaging
Damaging(damaging)abusive, admixture, adulterate, adulteration, afflict, aged, ail, alligator, alloy, attrited, bad, batter, battered, beat-up, beaten-up, become_flat, befoul, befoulment, belly-land, bent, blasting, blemish, blunt, bombing, break, break_down, bruise, buckle, burned, burned-out, burned-over, burnt, burnt-out, burst, bust, cheapen, check, chink, collapse, conk_out, contamination, corrosion, corrupt, corruption, counteract, countermine, crack, crackle, crash, craze...

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


(disjoint Damaging Repairing) Merge.kif 12205-12205 Damaging is disjoint from repairing
(documentation Damaging ChineseLanguage "这是当 agent 导致 patient 不再能够如愿般地正常操作 的 Process Class。") Merge.kif 12209-12210
(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 12206-12208
(subclass Damaging InternalChange) Merge.kif 12204-12204 Damaging is a subclass of internal change

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


(subclass Destruction Damaging) Merge.kif 12212-12212 Destruction is a subclass of damaging
(subclass ForestDamage Damaging) Geography.kif 2643-2643 Forest damage is a subclass of damaging
(subclass Injuring Damaging) Merge.kif 10467-10467 Injuring is a subclass of damaging
(subclass Sabotage Damaging) MilitaryProcesses.kif 211-211 Sabotage is a subclass of damaging
(termFormat ChineseLanguage Damaging "损坏") chinese_format.kif 1160-1160 "损坏" is the printable form of damaging in ChineseLanguage
(termFormat EnglishLanguage Damaging "damaging") english_format.kif 847-847 "damaging" is the printable form of damaging in english language

antecedent
-------------------------


(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))
Mid-level-ontology.kif 28238-28246
(=>
    (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 10481-10488 A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
(<=>
    (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 28435-28449 A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
(=>
    (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 13412-13421
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13436-13445
(=>
    (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 12159-12167
(=>
    (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 3677-3717
(=>
    (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 27593-27604
(=>
    (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 27565-27577
(=>
    (holdsDuring ?T
        (attribute ?O Undamaged))
    (not
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?O)
                (earlier
                    (WhenFn ?D) ?T)))))
Mid-level-ontology.kif 28347-28355
(=>
    (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 15498-15506
(=>
    (instance ?EXPLOSION Explosion)
    (capability Damaging instrument ?EXPLOSION))
Mid-level-ontology.kif 13499-13501
(=>
    (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 16199-16201

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