Damaging - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Damaging Repairing)	Merge.kif 12421-12421	Damaging is disjoint from repairing
(documentation Damaging ChineseLanguage "这是当 agent 导致 patient 不再能够如愿般地正常操作的 Process Class。")	chinese_format.kif 3153-3154	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 12422-12424	Damaging is disjoint from repairing
(subclass Damaging InternalChange)	Merge.kif 12420-12420	Damaging is a subclass of internal change

appearance as argument number 2

(subclass Breaking Damaging)	Merge.kif 12652-12652	Breaking is a subclass of damaging
(subclass Destruction Damaging)	Merge.kif 12426-12426	Destruction is a subclass of damaging
(subclass ForestDamage Damaging)	Geography.kif 2873-2873	Forest damage is a subclass of damaging
(subclass Injuring Damaging)	Merge.kif 10565-10565	Injuring is a subclass of damaging
(subclass Sabotage Damaging)	MilitaryProcesses.kif 220-220	Sabotage is a subclass of damaging
(termFormat ChineseLanguage Damaging "损坏")	chinese_format.kif 1160-1160	Sabotage is a subclass of damaging
(termFormat EnglishLanguage Damaging "damaging")	english_format.kif 1537-1537	Sabotage is a subclass of damaging
(termFormat FrenchLanguage Damaging "endommager")	french_format.kif 838-838	Sabotage is a subclass of damaging
(termFormat Hindi Damaging "kshati")	terms-hindi.txt 370-370	Sabotage is a subclass of damaging
(termFormat ItalianLanguage Damaging "Danneggiare")	terms-it.txt 373-373	Sabotage is a subclass of damaging
(termFormat JapaneseLanguage Damaging "損害を与える")	japanese_format.kif 2522-2522	Sabotage is a subclass of damaging
(termFormat PortugueseLanguage Damaging "Causar Dano")	portuguese_format.kif 790-790	Sabotage is a subclass of damaging
(termFormat cb Damaging "pagda-ot")	terms-cb.txt 375-375	Sabotage is a subclass of damaging
(termFormat cz Damaging "damaging")	terms-cz.txt 409-409	Sabotage is a subclass of damaging
(termFormat de Damaging "Beschaedigen")	terms-de.txt 668-668	Sabotage is a subclass of damaging
(termFormat ro Damaging "stricãciune")	relations-ro.kif 859-859	Sabotage is a subclass of damaging
(termFormat tg Damaging "pinipinsala")	terms-tg.txt 374-374	Sabotage is a subclass of damaging

antecedent

(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged)))	Mid-level-ontology.kif 31971-31979	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then device damaged is an attribute of the entity holds during immediately after the time of existence of the process
(=> (and (instance ?DAMAGE Damaging) (agent ?DAMAGE ?PROP) (destination ?DAMAGE ?DEST) (instance ?DEST CognitiveAgent)) (believes ?DEST (attribute ?PROP Dangerous)))	MilitaryPersons.kif 228-235	If a process is an instance of damaging and an agent is an agent of the process and the process ends up at a cognitive agent and the cognitive agent is an instance of cognitive agent, then the cognitive agent believes dangerous is an attribute of the agent
(=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin))	WMD.kif 180-185	If a process is an instance of damaging and an object is an instrument for the process and the object is an instance of biologically active substance, then the object is an instance of toxin
(=> (and (instance ?INJ Damaging) (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)) (instance ?INJ Injuring))	Merge.kif 10587-10592	If a process is an instance of damaging and an entity is an instance of organism and the entity is a patient of the process, then the process is an instance of injuring
(=> (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 weapon carrying capability a military vehicle, a kind of weapon and a positive integer and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role

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 32214-32228	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 ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?OBJ)) (hasPurposeForAgent ?ATTACK (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13563-13572	If a process is an instance of attack and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of damaging and the entity is a patient of the other entity for the agent
(=> (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	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
(=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13585-13594	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the agent is a patient of the entity for the agent
(=> (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	If a process is an instance of precise destruction and an entity is a patient of the process, then the process has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and equal the entity and the third entity
(=> (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 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=> (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 9806-9816	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
(=> (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ)) (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ) (earlier (WhenFn ?DAMAGE) (WhenFn ?REPAIR)))))	Merge.kif 12379-12387	If a process is an instance of repairing and an entity is a patient of the process, then there exists another process such that the other process is an instance of damaging and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=> (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 12336-12346	If a process is an instance of sunburn and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of damaging and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
(=> (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 2829-2844	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
(=> (and (instance ?T Transportation) (transported ?T ?C) (attribute ?C ?H) (instance ?H HazardousMaterialTransportAttribute)) (holdsDuring ?T (modalAttribute (exists (?D) (and (instance ?D Damaging) (resource ?D ?C))) Possibility)))	Transportation.kif 4115-4126	If a transportation is an instance of transportation and an object is transported during the transportation and an attribute is an attribute of the object and the attribute is an instance of hazardous material transport attribute, then the statement there exists an entity such that the entity is an instance of damaging and the object is a resource for the entity has the modal force of possibility holds during the transportation
(=> (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	If an object is an instance of high precision weapon and the object is an instrument for a process and an entity is a patient of the process, then the object has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and equal the entity and the third entity
(=> (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 3771-3812	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and equal the time of existence of the entity and the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
(=> (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 31364-31375	If device damaged is an attribute of an object, then there exists the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
(=> (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 31336-31348	If device normal is an attribute of an object, then there doesn't exist the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
(=> (attribute ?G HazardousGases) (and (instance ?G Substance) (attribute ?G Gas) (capability Combustion resource ?G) (capability Damaging resource ?G) (capability Corrosion resource ?G)))	Transportation.kif 4142-4149	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
(=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility))	Geography.kif 6179-6188	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
(=> (holdsDuring ?T (attribute ?H Antivaxxer)) (believes ?H (exists (?V ?D) (and (instance ?V Vaccination) (instance ?D Damaging) (causes ?V ?D)))))	Medicine.kif 3824-3832	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
(=> (holdsDuring ?T (attribute ?O Undamaged)) (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?O) (earlier (WhenFn ?D) ?T)))))	Mid-level-ontology.kif 32112-32120	If undamaged is an attribute of an entity holds during a time interval, then there doesn't exist a process such that the process is an instance of damaging and the entity is a patient of the process and the time of existence of the process happens earlier than the time interval
(=> (instance ?AGENT BlisterAgent) (hasPurpose ?AGENT (exists (?DAMAGE ?TISSUE) (and (instance ?DAMAGE Damaging) (instance ?TISSUE Tissue) (patient ?DAMAGE ?TISSUE)))))	WMD.kif 483-490	If a physical is an instance of blister agent, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is an instance of tissue and the other entity is a patient of the entity
(=> (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	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
(=> (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 19397-19405	If a physical is an instance of explosive device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging
(=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION))	Mid-level-ontology.kif 17230-17232	If an object is an instance of explosion, then the object is capable of doing damaging as a instrument
(=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)))))	Merge.kif 10578-10585	If a process is an instance of injuring, then 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
(=> (instance ?TD TornadoDamage) (exists (?T ?D) (and (instance ?T Tornado) (instance ?D Damaging) (causes ?T ?D) (patient ?D ?TD))))	Weather.kif 2794-2801	If an entity is an instance of tornado damage, then there exist a process and another process such that the process is an instance of tornado and the other process is an instance of damaging and the process causes the other process and the entity is a patient of the other process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: