Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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
-------------------------


(subclass Damaging InternalChange) Merge.kif 12556-12556 Damaging is a subclass of internal change
(disjoint Damaging Repairing) Merge.kif 12557-12557 Damaging is disjoint from repairing
(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 12558-12560 Damaging is disjoint from repairing

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


(subclass Injuring Damaging) Merge.kif 10672-10672 Injuring is a subclass of damaging
(subclass Destruction Damaging) Merge.kif 12562-12562 Destruction is a subclass of damaging
(subclass Breaking Damaging) Merge.kif 12788-12788 Breaking is a subclass of damaging
(subclass ForestDamage Damaging) Geography.kif 4151-4151 Forest damage is a subclass of damaging
(subclass Sabotage Damaging) MilitaryProcesses.kif 220-220 Sabotage is a subclass of damaging
(termFormat EnglishLanguage Damaging "damaging") english_format.kif 1541-1541 Sabotage is a subclass of damaging

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


(=>
    (and
        (instance ?INJ Damaging)
        (instance ?ORGANISM Organism)
        (patient ?INJ ?ORGANISM))
    (instance ?INJ Injuring))		 Merge.kif 10694-10699 If X is an instance of damaging, Y is an instance of organism, and Y is a patient of X, then X is an instance of injuring
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))		 Mid-level-ontology.kif 32687-32695 If X is an instance of damaging, Y is an instance of device, and Y is a patient of X, then device damaged is an attribute of Y holds during immediately after the time of existence of X
(=>
    (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 If X can carry Y weapons of type Z., W is an instance of Z, W is capable of doing V as a U, and V is a subclass of shooting or V is a subclass of damaging, then X is capable of doing V as a U
(=>
    (and
        (instance ?DAMAGE Damaging)
        (agent ?DAMAGE ?PROP)
        (destination ?DAMAGE ?DEST)
        (instance ?DEST CognitiveAgent))
    (believes ?DEST
        (attribute ?PROP Dangerous)))		 MilitaryPersons.kif 231-238 If X is an instance of damaging, Y is an agent of X, X ends up at Z, and Z is an instance of cognitive agent, then Z believes dangerous is an attribute of Y
(=>
    (and
        (instance ?DAMAGE Damaging)
        (instrument ?DAMAGE ?SUBSTANCE)
        (instance ?SUBSTANCE BiologicallyActiveSubstance))
    (instance ?SUBSTANCE Toxin))		 WMD.kif 174-179 If X is an instance of damaging, Y is an instrument for X, and Y is an instance of biologically active substance, then Y is an instance of toxin

consequent
-------------------------


(=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))		 Merge.kif 10685-10692 If X is an instance of injuring, then X is an instance of damaging and there exists Y such that Y is an instance of organism and Y is a patient of X
(=>
    (and
        (instance ?REPAIR Repairing)
        (patient ?REPAIR ?OBJ))
    (exists (?DAMAGE)
        (and
            (instance ?DAMAGE Damaging)
            (patient ?DAMAGE ?OBJ)
            (earlier
                (WhenFn ?DAMAGE)
                (WhenFn ?REPAIR)))))		 Merge.kif 12515-12523 If X is an instance of repairing and Y is a patient of X, then there exists Z such that Z is an instance of damaging, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X
(=>
    (and
        (instance ?ATTACK Attack)
        (agent ?ATTACK ?AGENT)
        (patient ?ATTACK ?OBJ))
    (hasPurposeForAgent ?ATTACK ?AGENT
        (exists (?DAMAGE)
            (and
                (instance ?DAMAGE Damaging)
                (patient ?DAMAGE ?OBJ)))))		 Merge.kif 13719-13728 If X is an instance of attack, Y is an agent of X, and Z is a patient of X, then X has the purpose Y for there exists W such that W is an instance of damaging and Z is a patient of W
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE ?AGENT
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT))))))		 Merge.kif 13741-13750 If X is an instance of defensive maneuver and Y is an agent of X, then X has the purpose Y for there doesn't exist Z such that Z is an instance of damaging and Y is a patient of Z
(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))		 Merge.kif 16381-16383 If X is an instance of weapon, then X is capable of doing damaging as a instrument
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))		 Merge.kif 16385-16392 If X is an instance of weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, and Z is a patient of Y
(=>
    (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 1662-1680 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) there doesn't exist U such that U is between W and X (6) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument
(=>
    (holdsDuring ?T
        (fears ?A
            (instance ?P Process)))
    (believes ?A
        (modalAttribute
            (holdsDuring
                (ImmediateFutureFn ?T)
                (exists (?D)
                    (and
                        (instance ?D Damaging)
                        (patient ?D ?A)
                        (causes ?P ?D)))) Likely)))		 Mid-level-ontology.kif 8696-8708 If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely
(=>
    (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 9959-9969 If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then there exists W such that W is an instance of damaging, Z experiences W, and Y causes W
(=>
    (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 12495-12505 If X is an instance of sunburn and Y experiences X, then there exist Z, W such that Z is an instance of damaging, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z
(=>
    (instance ?EXPLOSION Explosion)
    (capability Damaging instrument ?EXPLOSION))		 Mid-level-ontology.kif 17454-17456 If X is an instance of explosion, then X is capable of doing damaging as a instrument
(=>
    (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 19761-19769 If X is an instance of explosive device, then X has the purpose there exist Y, Z such that Y is an instance of explosion, X is an instrument for Y, Y causes Z, and Z is an instance of damaging
(=>
    (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 20326-20347 If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V
(=>
    (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 32036-32048 If device normal is an attribute of X, then there doesn't exist Y such that Y is an instance of damaging, X is a patient of Y, there doesn't exist Z such that Z is an instance of repairing, X is a patient of Z, and the time of existence of Y happens earlier than the time of existence of Z
(=>
    (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 32056-32067 If device damaged is an attribute of X, then there exists Y such that Y is an instance of damaging, X is a patient of Y, there doesn't exist Z such that Z is an instance of repairing, X is a patient of Z, and the time of existence of Y happens earlier than the time of existence of Z
(=>
    (holdsDuring ?T
        (attribute ?O Undamaged))
    (not
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?O)
                (earlier
                    (WhenFn ?D) ?T)))))		 Mid-level-ontology.kif 32828-32836 If undamaged is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of damaging, X is a patient of Z, and the time of existence of Z happens earlier than Y
(<=>
    (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 32943-32957 X is performed in the manner harmless if, only if X is not an instance of damaging, there doesn't exist Y such that Y is an instance of damaging, Y is a subprocess of X, there doesn't exist Y such that Y is an instance of damaging, and X causes Y
(=>
    (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 ?WITNESS)
                    (and
                        (instance ?ALARM RadiatingSound)
                        (agent ?ALARM ?X)
                        (causes ?HARM ?ALARM)
                        (hasPurpose ?ALARM
                            (increasesLikelihood
                                (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 3578-3618 If X is an instance of car alarm, Y is an instance of self powered road vehicle, and X is a part of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that X has the purpose Z is an instance of stealing or Z is an instance of damaging (3) W is an instance of human (4) W is an agent of Z (5) Y is a patient of Z (6) equal the time of existence of Z (7) V (8) Z is partly located at Uthere exist T (9) S such that T is an instance of radiating sound (10) X is an agent of T (11) Z causes T (12) T has the purpose S is an instance of human (13) S is near to U holds during V increases likelihood of S knows there exists R such that R is an instance of stealing or R is an instance of damaging (14) R is partly located at U (15) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z
(=>
    (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 3955-3970 If acid rainfall is a patient of X, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X causes Y (4) X is an instrument for Y (5) Z is an instance of organism (6) W is an instance of stationary artifact (7) V is an instance of outdoors (8) W is located at V (9) Z is located at V (10) Z is a patient of Y or W is a patient of Y has the modal force of possibility
(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))		 Geography.kif 7476-7485 If X is hazardous to Y, then the statement there exists Z such that Z is an instance of damaging, Y is a patient of Z, and X is an involved in event of Z or X causes Z has the modal force of possibility
(=>
    (instance ?Y SulphurDioxide)
    (modalAttribute
        (exists (?D ?P)
            (and
                (instance ?D Damaging)
                (instance ?P Human)
                (instrument ?D ?Y)
                (patient ?D ?P))) Possibility))		 Geography.kif 8852-8860 If X is an instance of sulphur dioxide, then the statement there exist Y, Z such that Y is an instance of damaging, Z is an instance of human, X is an instrument for Y, and Z is a patient of Y has the modal force of possibility
(=>
    (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 81-95 If X is an instance of bleeding and Y experiences X, then there exist Z, W such that Z is an instance of vein or Z is an instance of artery, Z is a part of Y, W is an instance of damaging, the time of existence of W happens earlier than the time of existence of X, and Z is a patient of W
(=>
    (holdsDuring ?T
        (attribute ?H Antivaxxer))
    (believes ?H
        (exists (?V ?D)
            (and
                (instance ?V Vaccination)
                (instance ?D Damaging)
                (causes ?V ?D)))))		 Medicine.kif 3855-3863 If anti-vaxxer is an attribute of X holds during Y, then X believes there exist Z, W such that Z is an instance of vaccination, W is an instance of damaging, and Z causes W
(=>
    (instance ?M GuidedMissile)
    (hasPurpose ?M
        (exists (?S ?D)
            (and
                (instance ?S Shooting)
                (instance ?D Damaging)
                (objectTransferred ?S ?M)
                (instrument ?D ?M)))))		 Military.kif 339-347 If X is an instance of guided missile, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instance of damaging, the object transferred in Y is X, and X is an instrument for Z
(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))		 MilitaryDevices.kif 816-824 If X is an instance of anti armor weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, Z is a patient of Y, and Z is an instance of armor

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners