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

KB Term:  Term intersection
English Word: 

Sigma KEE - Damaging
Damaging

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


(subclass Damaging InternalChange) Merge.kif 12556-12556
(disjoint Damaging Repairing) Merge.kif 12557-12557
(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

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


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

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


(=>
    (and
        (instance ?INJ Damaging)
        (instance ?ORGANISM Organism)
        (patient ?INJ ?ORGANISM))
    (instance ?INJ Injuring))		 Merge.kif 10694-10699
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))		 Mid-level-ontology.kif 32687-32695
(=>
    (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
(=>
    (and
        (instance ?DAMAGE Damaging)
        (agent ?DAMAGE ?PROP)
        (destination ?DAMAGE ?DEST)
        (instance ?DEST CognitiveAgent))
    (believes ?DEST
        (attribute ?PROP Dangerous)))		 MilitaryPersons.kif 231-238
(=>
    (and
        (instance ?DAMAGE Damaging)
        (instrument ?DAMAGE ?SUBSTANCE)
        (instance ?SUBSTANCE BiologicallyActiveSubstance))
    (instance ?SUBSTANCE Toxin))		 WMD.kif 174-179

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


(=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))		 Merge.kif 10685-10692
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE ?AGENT
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT))))))		 Merge.kif 13741-13750
(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))		 Merge.kif 16381-16383
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))		 Merge.kif 16385-16392
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?EXPLOSION Explosion)
    (capability Damaging instrument ?EXPLOSION))		 Mid-level-ontology.kif 17454-17456
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(<=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (holdsDuring ?T
        (attribute ?H Antivaxxer))
    (believes ?H
        (exists (?V ?D)
            (and
                (instance ?V Vaccination)
                (instance ?D Damaging)
                (causes ?V ?D)))))		 Medicine.kif 3855-3863
(=>
    (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
(=>
    (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

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners